Sounds like dup of #1722121, fixed in Bionic.
--
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
