So, being frustrated with a firefox addons copy not showing up with shift+ins in gnome-terminal I decided to switch gnome-terminal paste shortcut to shift+ins.
Are there any known bugs with doing this? I’ve only done some quick tests and seem to always get the clipboard info I’m expecting.
edit: Thanks to @[email protected] I now know about gpaste and use that to sync primary and selection both ways.
They wouldn’t let you change the shortcut if changing the shortcut didn’t work. You can even do Ctrl+C and Ctrl+V if you want, but then ^C and ^V wouldn’t be passed to the terminal anymore. The shortcuts take priority.