Re: [Usability] Are the gnome-terminal's Profiles really necessary?

[Brad Taylor <brad getcoded net>]

On Wed, 2007-12-05 at 17:00 -0600, Matthew Nuzum wrote:
> On Dec 5, 2007 4:45 PM, Matthew Paul Thomas <mpt myrealbox com> wrote:
>         > Having preferences profiles strikes me as very unnecessary
>         here. Don't
>         > get me wrong, I see the benefit of changing some behaviours
>         of the
>         > terminal for certain uses, but "most users" (assuming the
>         average 
>         > user, some day, is not tech-savy) are not going to care.
>         
>         > ...
>         
>         I don't know why gnome-terminal profiles exist, and I'd like
>         to read
>         descriptions from people who use them of what they use them
>         for. 
>         
>         We should be careful of not trying to design software to cater
>         for
>         people who are never going to use it anyway.
> 
> I use profiles to keep track of different hosts. The background for
> normal host is dark black with just a hint of blue. The background for
> *CRITICAL* host is dark black with just a hint of red. It makes it
> very easy to tell when you've got the wrong one. 
>
> I wish profiles were easier to use, as in that I could change the
> profile for the terminal from the command line inside the terminal.
> This way, I could alias a command or ssh connection so that it always
> uses a specific profile. Right at the moment, the best I can do is
> launch a new tab or window with a specific profile. 

Check out --window-with-profile=PROFILENAME for this.

As for me, profiles are *very* useful on a laptop when showing a
terminal on a projector (make the text bigger), or when moving my laptop
outside (and needing a white background with black text to read it,
instead of my normal black background with white text).

Cheers,

-Brad