[Debian] GNOME3のメニューが消えた

IT

以前にも起こったのだが、今朝Wheezyを起動すると、GNOME3のメニューが消えた。

  • アクティビティが空になった
  • Dockステーションが空になった

この際の処置は、Ctrl+Alt+F1(or F2-F6)でターミナルを切り替えてログインし、

$ rm -r ~/.config/menus

もちろん、ファイルマネージャで（起動できる場合は）当該ディレクトリを削除してもよい。

その後、ALT+F2でコマンド入力画面を出し、rを打ち込むと、GNOMEが再起動される。