Copy not working
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
gnome-terminal (Ubuntu) |
New
|
Undecided
|
Unassigned |
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://
100 /var/lib/
(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/
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.
Sounds like dup of #1722121, fixed in Bionic.