Jim Henderson <nos### [at] nospamcom> wrote:
> Personally, I use ctrl+shift+c and ctrl+shift+v in a GNOME terminal 
> window...

  That's a terminal emulator and thus not the same thing as a bare terminal.

-- 
                                                          - Warp

Post a reply to this message