I have a weird effect in one workstation: suddenly, the system does not allow me to copy text from a terminal to paste it somewhere else by simpling selecting it.
I can still paste into the terminal the text that I select in other windows. The problem is restricted to copying by selection from the terminal.
Also, I am aware of the ctrl+shift+v/ctrl+shift+c key shortcuts. They do work fine, and so does copying and pasting with right clicks of the mouse after selecting text and then clicking "Copy" or "Paste" in the menu. However, I want to recover the misteriously gone ability of copying text from the terminal by selecting it…
Thanks for any suggestions!