After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 704097 - gnome-terminal confuses users with UUIDs for profiles
gnome-terminal confuses users with UUIDs for profiles
Status: RESOLVED FIXED
Product: gnome-terminal
Classification: Core
Component: Profiles
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2013-07-12 14:26 UTC by Lennart Poettering
Modified: 2013-07-15 15:58 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Lennart Poettering 2013-07-12 14:26:26 UTC 
gnome-terminal assigns and shows a uuid for each profile. It also maintains a user-defined name for them. Having both is certainly unnecessary, especially given that UUIDs are ugly, and usually more of the category "implementation detail", that should be hidden wherever possible.

(I mean, I do question the usefulness of profiles altogether, and would rather see them go, but the UUID stuff is the weirdest bit about it)
Comment 1 Christian Persch 2013-07-15 15:39:12 UTC 
Removed the UUID from the profile list on master.

BTW, the UUID isn't just an 'implementation detail', it's the *stable* name of the profile which you should use when referring to it from the command line, because the visible name may change.)
Comment 2 Lennart Poettering 2013-07-15 15:58:33 UTC 
Thanks for fixing!

Hmm, couldn't you make the user-defined names good for that? Given that the namespace is pretty much bounded by the profiles the user created it should be OK to just use these names and not allowing them to be assigned non-uniquely?