GNOME Bugzilla – Bug 95352
edit => Current profile should be preferences
Last modified: 2018-03-11 17:53:00 UTC
There is no need to push the concept of profiles on users who do not want to learn them. It would be better to label s/current profile/preferences and put it at the bottom of the edit menu as in every other gnome application. If you are concerned you could title the edit profiles window: profile "Default" preferences I think this will just be easier for users unaccustomed to the concept of profiles who just casually use the terminal and may want to change some prefs to fit their tastes, while not getting in the way of terminal power users. Oh and a sun beta tester had mentioned this too a while back: http://mail.gnome.org/archives/desktop-devel-list/2002-July/msg00505.html
I just don't think this helps unless we change to a profile presentation more like the one in konsole. At the moment with profiles all over the GUI, you're better off having to learn about profiles up front, then the whole thing is coherent and makes sense. If we make this change, then it isn't at all clear how prefs relate to profiles, it breaks the making-senseness of the overall UI. Anyway, basically I'm willing to overhaul things in a more radical way to hide profiles more (so users can genuinely use the UI without noticing the concept "profiles") but it doesn't make sense to me to just randomly s/profile/preferences/ in one place. Especially when there actually _are_ preferences (in Keybindings for example) that are not per-profile. btw I think this bug is a dup but I don't see the other one.
i haven't use konsole so i don't really know how it treats profiles. My basic issue here is that profiles should be an added feature for users who want/need it ie. super-power terminal users :) for casual terminal users who just want a pretty transparent background, shoving the concept of profiles in their face just makes using the terminal harder imho.
That's fine, I agree, but renaming one menu item doesn't help IMO, and it makes things less coherent overall.
Couldn't agree more with the reporter on this. The average user base just coming into linux and starting to use the terminal will really not understand how they can change their gnome-terminal settings until they find "preferences". All other apps (gnome or otherwise) have it, and the gnome-terminal scheme is totally inconsistent and confusing. For more advanced users who use a terminal more often, it hardly matters anyhow, given that they'll use a faster terminal.
Partially fixed in svn by renaming the menu item to "Profile Preferences".