Gnome Shell拡張機能は起動時に無効になります
現在、GNOME 3.12でUbuntu 14.04 LTSを実行していますが、Tweakツールで問題が発生しました。マシンを再起動するたびに、すべての拡張機能の設定がデフォルトに戻されますが、これはかなり面倒です。この振る舞いがどこから来たのか、私にはわかりません。何かご意見は？
これは既知のバグのようですが（ https://bugs.launchpad.net/ubuntu/+source/gnome-Shell/+bug/1236749 ）、この回避策を見つけました（コメントに記載されているとおり）レポートの＃12）：
オプションを「gnomeまたはclassic」ではなく「system default」に設定すると、リブート後も拡張機能が有効のままになります。
それがすべての人にとってうまくいくかどうかはわかりませんが、私の設定ではうまくいきます。
詳述する
これがこの問題の解決に役立つことを願っています-少なくとも一部では。セッションメニューには、ログインボタンの左側にある歯車を介してアクセスできる3つのログインエントリがあります。オプションを「gnomeまたはclassic」ではなく「system default」に設定すると、再起動後も拡張機能が有効のままになります。