最近Fedora 31に更新し、gnome-terminalのメニューバーを失いました。
マウスの右ボタンを押してメニューバーを有効にすることで、単一のターミナルセッションのメニューバーを有効にできます。ただし、永続的に有効にするオプションはありません。
私はすでに見つけました: Gnome Help
しかし、オプションはありませんShow menubar by default in new terminals.
ヘルプに記載されています。古いインストールでは、スクリーンショットを添付したウィンドウの最初の項目としてエントリが表示されます。
端末設定を保存する設定ファイルはどれですか?手で編集できますか?
問題は、より一般的な設定がアプリケーション固有の設定と衝突することでした。 gnomeの他のほぼすべてのオプションのように、特定の設定がグローバル設定をオーバーライドできない理由はわかりませんが、これは別の議論です...
OK、解決策は:
dconf-editor
を開始し、org.gnome.Terminal.Legacy.Settings:headerbar
に移動して、値をfalse
に設定します。新しい設定を有効にするには、gnome-Shellを再起動する必要があります!なぜこれが当てはまるのかはわかりませんが、これらすべてのオプションは私にとって好奇心をそそられています。
これで、gnome-terminalセッション内で右クリックして編集し、[設定]-> [一般]に移動して、[新しい端末にデフォルトでメニューバーを表示する]を選択できます。このメニューは以前は表示されませんでした。このオプションはすぐに機能します。別の再起動は必要ありません:-)
現時点ではドキュメントにヒントはありません!他の誰かが同じトラブルに遭遇した場合、私はこの答えを残します。