La réponse de Neal ne s'applique pas à la combinaison actuelle d'Ubuntu 16.04 et de gtk3. Les détails sont stockés dans ~/.config/gtk-3.0/bookmarks
.
En regardant dans Ubuntu, il ne semble pas y avoir d'option pour éditer les trucs fantaisistes, juste le serveur et le nom utilisé dans le menu (il y a une entrée "modifier le signet" dans le menu des signets, mais je suis sûr que vous trouvé ça).
Les détails réels sont stockés dans un fichier texte ~/.gtk-bookmarks
, il devrait donc être raisonnablement facile de modifier le fichier.
Peut-être souhaitez-vous signaler un bogue pour votre distribution ou directement avec Gnome.