add shell/repl shortcuts to menu hotkey for bash