Então, olhei para a história e para o Ctrl+ R, mas elas não são o que eu pensava que sabia. Existe uma maneira de digitar o início de um comando e percorrer as correspondências do meu histórico com algum atalho do bash?
# mysq(some shortcut key)
Dá-me:
# mysqldump --add-drop-table -e -q -n -C -u
(some shortcut key)
# mysql -u ben.dauphinee -p