Another thought that suits both needs would be to rearrange the workflow; to reduce the prominence of Profiles to those who don't need them while keeping them there for those who do. Instead of having to choose a profile and edit it, the Preferences could be directly accessible via the menu (as usual), and that would be the same as editing the current profile. Changing / adding profiles would be pushed to the side, possibly into a Profile menu / sub-menu, otherwise into a dialog as it is at the moment. (Although the dialog strikes me as possibly redundant, and a lot of window for a very small amount of doing).
Indeed, I would probably be using profiles myself, if they were a bit more fancy. For example, if they changed from certain key words, or when certain commands were run. Oh well, some day... Thanks for the ideas! -Dylan On Dec 5, 2007 3:04 PM, Brad Taylor <[EMAIL PROTECTED]> wrote: > > 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 > [email protected] > http://mail.gnome.org/mailman/listinfo/usability >
_______________________________________________ Usability mailing list [email protected] http://mail.gnome.org/mailman/listinfo/usability
