Gdzie są przechowywane profile terminali gnome w dystrybucji systemu Linux?

14

Użyłem (Red Hat, Ubuntu, CentOS, inne). Te dystrybucje wykorzystują terminal Gnome i zapewniają elastyczne sposoby konfigurowania różnych profili terminali za pomocą menu rozwijanego znajdującego się w oknie terminala, bezpośrednio nad tym, gdzie zwykle wprowadza się polecenia. Profile te umożliwiają wprowadzanie zmian we właściwościach czcionek i kolorów różnych plików itp.

Gdzie są przechowywane te różne profile terminala?

terminal gnome-terminal profile Jan
źródło

Odpowiedzi:

7

Na moim Ubuntu 16.04

  • otwórz edytor dconf (jako użytkownik)
  • org> gnome> terminal> legacy> profile> ...
GMaster
źródło
Wygląda na to, że są one w jakiś sposób przechowywane bez schematu, więc nie mogę automatycznie ustawić profili z linii poleceń ( gsettings set), w jakikolwiek sposób to zrobić?
xjcl
0

Cóż, właśnie zacytowałeś trzy dystrybucje, które używają co najmniej dwóch różnych Gnomewersji. Jest to ważne ze względu na przejście od Gnome 2celu Gnome 3, który przeniósł się z GTK 2do GTK 3i mieszane rzeczy trochę.

Aby przejść do jego tematu, ogólnie cała konfiguracja dla użytkownika jest $HOMEgdzieś. Najpierw musisz spojrzeć w $HOMEsiebie, a następnie spróbować .configi .gconfjak oba sugerują katalog konfiguracji.

To powiedziawszy i po prostym wyszukiwaniu w Google odkryłem, że może być, ~/.gconf/apps/gnome-terminal/profilesale twój przebieg może się różnić.

Digisec
źródło
Dziękuje za komentarz. GTKWersja wpłynie gtk-2.0i gtk-3.0konfiguracja katalogu chociaż. Mówiłem ogólnie, a nie tylko terminalem gnomów.
Digisec,