Copy not working

[skaller]

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)]

Sounds like dup of #1722121, fixed in Bionic.

[skaller (skaller)]

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