Copy not working

Bug #1760887 reported by skaller on 2018-04-03
8
This bug affects 1 person
Affects Status Importance Assigned to Milestone
gnome-terminal (Ubuntu)
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://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.

Egmont Koblinger (egmont-gmail) wrote :

Sounds like dup of #1722121, fixed in Bionic.

skaller (skaller) wrote :

Could be a dup indeed, wouldn't be surprised. What's Bionic? How can I get it?

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers