Gnomeのメニューをエディタで編集する

Gnomeのメニュー(Windowsでいうところのスタートボタンに相当するやつ)を編集するには、通常は専用のコマンド(gmenu-simple-editorやalacarteなど)を使ってGUIで編集するものなんだろう。

が、alacarteは正直なところ使いにくい。まだまだ洗練されていない感じ。

というわけで、仕方なくエディタで編集してみた。編集するファイルは
~/.config/menus/application.menuというファイルだった。

かなり我流なのであるが、まぁ、とりあえず目的は達成されたようだ。