How to unbind a shortcut in a terminal
up vote
1
down vote
favorite
Ubuntu 18.04 I'm using embedded terminal in my IDE and there is IDE-binding Ctrl 8 which is pretty useful and convenient and I would not like to rebind it. However the Ctrl 8 shortcut works as Backspace when IDE-embedded terminal is focused which is really annoying. Moreover Ctrl 8 for backward character delete seems useless for me. I tried to open a terminal and then opened to Edit -> Preferences , then Shortcuts but I did not found the Ctrl 8 in there. So how to simply disable it? Is there some config file?
command-line bash shortcut-keys gnome-terminal
share | improve this question
edited Nov 13 at 6:53
...