Neal の回答は、Ubuntu 16.04 と gtk3 の現在の組み合わせには適用できません。詳細は ~/.config/gtk-3.0/bookmarks
に保存されています。 .
Ubuntu を見ると、凝ったものを編集するオプションはないようです。メニューで使用されるサーバーと名前だけです (ブックマーク メニューには「ブックマークの編集」エントリがありますが、
実際の詳細は、テキスト ファイル ~/.gtk-bookmarks
に保存されます。 であるため、ファイルの編集はかなり簡単です。
おそらく、ディストリビューションまたは Gnome に直接バグを報告したいと思うでしょう。