Before, I could hit Control-R in GNOME Terminal to enter Bash's
However, this stopped working, the cursor just flashes without doing anything. This also affects remote and container shells (where it was working before).
Although I've noticed, it works when I'm pressing: Control-Shift-R.
I'm using GNU bash v4.4.19 on GNOME Terminal v3.30.1. I'm not sure if this is some new feature of Ubuntu Cosmic, or something else.
It seems, this also affects web-browsers, where I've to press Control-Shift-R to refresh the page, and Control-R doesn't take any effect (Chrome and Opera).
My keyboard works fine, I don't have Caps Lock enabled, and I'm not using any custom programs to modify the default shortcuts and I've never changed any. The issue is reproducible all the time, I've tried this already over hundred of times, the same effect.
How do I change the shortcut back to previous default combination (Control-R)?
What I've tried:
- Reset All Keyboard Shortcuts to default in Ubuntu Settings.
Here are few details:
$ bind -p | grep 'search-history' "\C-s": forward-search-history # non-incremental-forward-search-history (not bound) # non-incremental-forward-search-history-again (not bound) # non-incremental-reverse-search-history (not bound) # non-incremental-reverse-search-history-again (not bound) "\C-r": reverse-search-history
I've checked, and I don't override the above bindings in my dotfiles:
$ grep -r reverse-search-history ~/.bash* (nothing)