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?
Odpowiedzi:
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ć.
GTKWersja wpłynie gtk-2.0i gtk-3.0konfiguracja katalogu chociaż. Mówiłem ogólnie, a nie tylko terminalem gnomów.
gsettings set), w jakikolwiek sposób to zrobić?