I'm having a weird bug recently (RHEL 6.4). When I select text in a gnome terminal, I am unable to copy it in any fashion (middle click, ctrl+shift+c ctrl+shift+v or right click -> copy right click -> paste do not work). It seems the copy buffer from the terminal is not working properly, but I have no clue how to investigate further...
Restarting my session could potentially solve it, but I have some text output in a terminal that I would like to keep and process that would be lost by doing so (my bad for not
tee-ing it to a file...). Copying and pasting in other windows (gedit, firefox...) works as intended. Copying from another program to a terminal also works. Really the problem seems to be that selecting text in a terminal does not store it in the appropriate buffer.
How could I reset the copy buffer from the terminal ?
At least, is there a way I can salvage the text output in my terminal to a file, so that I could restart my session and not lose my work ?