On Wed, 2007-12-05 at 17:00 -0600, Matthew Nuzum wrote: > 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.
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 _______________________________________________ Usability mailing list Usability@gnome.org http://mail.gnome.org/mailman/listinfo/usability
