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.
