-To do so, you have first to pick a key and know the character sequence
-associated to it. You can figure that out by typing at the console
-prompt Ctrl-q followed by the key you want to use. For instance, if
-you want to use Alt-r, you may get "^[r". Then, you have to add in
-~/.inputrc the following line: