strg-r: Rückwärtssuchen in der Bash-History