私は使用しました(Red Hat、Ubuntu、CentOSなど)。これらのディストリビューションはGnomeターミナルを利用しており、ターミナルウィンドウのコマンドが通常入力される場所の真上にあるドロップダウンメニューを使用して、さまざまなターミナルプロファイルを柔軟に設定できます。これらのプロファイルにより、さまざまなファイルのフォントや色のプロパティなどを変更できます。
端末のこれらの異なるプロファイルはどこに保存されますか?
私のUbuntu 16.04では
さて、少なくとも2つの異なるGnome
バージョンを使用する3つのディストリビューションを挙げました。 Gnome 2
からGnome 3
への移動がGTK 2
からGTK 3
に移動したことと、いくつかが混在しているため、これは重要です。
彼のトピックにたどり着くために、通常、ユーザーのすべての構成は$HOME
のどこかにあります。最初に$HOME
自体を調べ、次に.config
と.gconf
を試す必要があります。どちらも設定ディレクトリを示唆しているためです。
それが言われていて、単純なグーグル検索で私はそれが~/.gconf/apps/gnome-terminal/profiles
にあるかもしれないことを発見しましたが、あなたの距離は異なるかもしれません。