On Dec 5, 2007 4:45 PM, Matthew Paul Thomas <[EMAIL PROTECTED]> 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. -- Matthew Nuzum newz2000 on freenode
_______________________________________________ Usability mailing list Usability@gnome.org http://mail.gnome.org/mailman/listinfo/usability
