It didn't even take much training to get used to it, because the method is just so much quicker than anything involving the mouse, or super key, or alt+f2, that I took to it immediately. And from there it was a small step to get used to using
exitto actually quit a terminal, leading to drastically less mouse usage (yes my habits were quite crappy on gnome2).
It also has the added benefit of unmapping the help dialog from F1, which I've never once used intentionally, and every unintentional usage (of which there were many) would make my machine churn pretty hard for a good few seconds before popping up the dialog.
It's pretty easy to make the change on F23:
- From gnome-shell desktop, go to Activities->Keyboard
- Navigate to Shortcuts->Custom Shortcuts
- Under launchers, disable 'Launch help browser'
- Under 'Custom shortcuts', click '+', map
I'm sure if you use a single terminal + tmux, or guake, this isn't interesting, but maybe it will help someone like it helped me.