Public bug reported:
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.
** Affects: gnome-terminal (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1760887
Title:
Copy not working
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-terminal/+bug/1760887/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
