On Saturday, June 25, 2016 at 2:52:21 AM UTC-7, Niels Kobschätzki wrote: > > I would switch immediately back to ctrl+shift+c/v because I have to use > those shortcuts all the time. One example: copying passwords out of my > password manager which is in its own domain to the other domains. Or > when I blog I might have to copy stuff from my untrusted-domain to my > blogging-domain etc. > ctrl+alt is just worse imho (except maybe when caps is mapped to ctrl, > then it might work). > > >However, a workaround I found for the terminal clash is to instead > >re-learn to use Shift+Insert for pasting. > > That's the only part where I found it annoying. The first time in years > I switched to using the mouse in the terminal. But maybe I should just > switch to ctrl+ins and shift+ins like I have to do at work on my > windows-machine when using my ssh-client. Those shortcuts work in > gnome-terminal as well.
Yeah, the problem is, I am likely to use copy/paste to terminal a lot more than between domains in day-to-day work, and there aren't a ton of other, simple one-handed shortcuts. Shift+insert is awful. It's unfortunate that ctrl+c is so overloaded (being the kill command for terminals). I *think* what I'd like to do is use Windows_Key (Meta) + C for copy, but so far I haven't figured out how to get that to work. "Meta" didn't work in the config file noted above. Maybe I'll end up going Meta+C for the terminal copy. Need to circle back to this... -- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/d99ca410-9028-401c-a31c-a5452f093e42%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
