Could be a dup indeed, wouldn't be surprised. What's Bionic? How can I get it?
-- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-terminal in Ubuntu. https://bugs.launchpad.net/bugs/1760887 Title: Copy not working Status in gnome-terminal package in Ubuntu: New Bug description: Copying marked text sometimes does not work. It fails for keyboard shortcut, main menu, and right click menu. Paste seems to work. Ubuntu 17.10 gnome-terminal: Installed: 3.24.2-0ubuntu4 Candidate: 3.24.2-0ubuntu4 Version table: *** 3.24.2-0ubuntu4 500 500 http://au.archive.ubuntu.com/ubuntu artful/main amd64 Packages 100 /var/lib/dpkg/status (Hey, copy worked for the above text!) What should happen: the text is copied to a clipboard. What happened: nothing. Paste pasted the previous contents of the clipboard. The fault is NOT intermittent. If I do this: cat ~/.profile and the try to copy the last line (excluding the leading #) then the text is sometimes copied: # . /home/skaller/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true Note, the above text was copied .. this time. However when it fails, it fails repeatedly. This is a critical bug. The terminal is more or less useless without a correctly operating copy function. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1760887/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
