この回答の精神に基づく回避策を次に示します。これは少なくとも3.12で機能します。アクティブにする拡張機能のリストをエクスポートし、起動時にそれらをアクティブ化するスクリプトを作成するという考え方です。
拡張リストの取得
まず、アクティブにする拡張機能をアクティブにします。次に、これらのリストを生成します。
ターミナル(Ctrl + Alt + T
)で実行
gsettings get org.gnome.shell enabled-extensions
それはあなたの現在アクティブな拡張機能を含むリストを返します
['Bottom_Panel@rmy.pobox.com', 'impatience@gfxmonk.net']
拡張機能の設定
リストの拡張機能を正確にアクティブ化するには、次を実行します。
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
しかし、あなた自身のリストで、当然:)
起動時に拡張機能を設定するスクリプト
起動時に自動化するには、そのコマンドを実行するスクリプトを作成します。
たとえばホームフォルダーに移動し、新しい空のファイルを作成します。名前を付けますscript_name.sh
(拡張子のみが重要です)。.
非表示にしたい場合は、ファイル名を完全なストップで開始します。
そのファイルに書き込みます
#!/bin/bash
gsettings set org.gnome.shell enabled-extensions ['extension_1', 'extension_2', 'extension_3']
その後、もちろんファイルを保存します:)
たとえば、ファイルを実行可能にします。または、スクリプトのフォルダでright click > Properties > Permissions > Check "Allow executing file as program"
実行chmod ugo+x script_name.sh
して、ターミナルから権限を変更します。
システムの起動時にそれを作成します(他にこれを行う方法がわかりません):~/.config/autostart/
と呼ばれるファイルを作成し、some_name2.desktop
その中に入れます
[Desktop Entry]
Name=your_prefered_name_here
Exec=/home/your_user_name/.script_name.sh
# Terminal=false
Type=Application
Hidden=false
StartupNotify=false
Name[en_US]=your_prefered_name_here
後のパスExec=
は、手順2で作成したスクリプトがある場所へのパスでなければなりません。もう一度、ファイルを保存します:)
起動直後または起動後のいずれかに、スタートアップアプリケーションの下のGnome Tweak Toolにスクリプトが表示されるはずです。起動時にも実行されます。
拡張機能のアクティブ化と非アクティブ化
実行する拡張機能を変更する場合は、リストを再生成してから、スクリプトの実行に新しいリストを挿入する必要があります。
最後の言葉
これが3.14でも機能することを願っています。