On Tue, 2011-11-15 at 13:56 +0100, Julien Blanc wrote:
> Hi,
>
> First of all, i apologize if it's not the good list to discuss about this,
> but i couldn’t find a list more specifically related to gnome-terminal
> features.
Patches should be sent to http://bugzilla.gnome.org
> I find current gn
Hi,
First of all, i apologize if it's not the good list to discuss about this,
but i couldn’t find a list more specifically related to gnome-terminal
features.
I find current gnome-terminal profiles useful, but in a certain way
limited. I often have a lot of shells open, logged on different serve
