>>463
拡張機能は gnome-shell-extension-prefs を入れれば設定できる。
なんでこれデフォで入ってないんだか。