diff options
| author | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 21:58:50 -0500 |
|---|---|---|
| committer | Marshall Lochbaum <mwlochbaum@gmail.com> | 2021-02-03 21:58:50 -0500 |
| commit | 26fce85ba935a0eddcb4e1e70f9e563f246899f0 (patch) | |
| tree | 314ac62b599a76f8dfa820deadc00c046b76c2bb /editors/inputrc | |
| parent | 6d07828fb3aad41bce43027029632dfae7d32db9 (diff) | |
Hack to get double-backslash escape working in inputrc
Diffstat (limited to 'editors/inputrc')
| -rw-r--r-- | editors/inputrc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/editors/inputrc b/editors/inputrc index 4e436dab..3acc83a2 100644 --- a/editors/inputrc +++ b/editors/inputrc @@ -1,6 +1,12 @@ # BQN keybindings for Readline configuration file .inputrc # Enables BQN combinations in bash and rlwrap (used by dzaima/BQN REPL) +# Readline bindings are recursive, so use this trick to turn double +# backslash into an actual backslash character. +# Assuming ctrl-x esc isn't bound, the part after \\ does nothing, +# except keep Readline from waiting for a backslash combination. +"\\\\" "\\" + "\\`" "˜" "\\1" "˘" "\\2" "¨" |