On 9 December 2016 at 23:52, rikona <rikona at sonic.net> wrote: > ... > It does not paste into terminal, though, > but I'm not sure it ever did that. To copy from gnome-terminal use Ctrl+Shift+C and to paste Ctrl+Shift+V. Ctrl+C does something completely different in the terminal of course. Colin