linux:bash:hotkeys