Ha! I knew since long that it is possible, but never found out how. Now !TIL: Getting previously typed complete command lines back from .bash_history by typing the first few characters and then using cursor up/down. This is the solution I found (and already tested; it works): https://unix.stackexchange.com/questions/5366/command-line-completion-from-command-history/20830#20830