Hi Pedro - I tried that, and they dismissed it as only applicable to gnome terminal. (see the link to the previous bug).
I think this has to be dealt with "down here"...
Hi Pedro - I tried that, and they dismissed it as only applicable to gnome terminal. (see the link to the previous bug).
I think this has to be dealt with "down here"...