Я использовал (Red Hat, Ubuntu, CentOS, другие). Эти дистрибутивы используют Gnome-терминал и предоставляют гибкие способы настройки различных профилей терминала через выпадающее меню, расположенное в окне терминала, прямо над тем местом, где обычно вводятся команды. Эти профили позволяют вносить изменения в свойства шрифта и цвета различных файлов и т. Д.
Где хранятся эти разные профили для терминала?
На моей Ubuntu 16.04,
Ну, вы только что процитировали три дистрибутива, которые используют как минимум две разные Gnomeверсии. Это важно из-за перехода от Gnome 2к Gnome 3которой перешел из GTK 2к GTK 3и смешанные вещи немного.
Чтобы добраться до его темы, как правило, все ваши настройки для вашего пользователя находятся $HOMEгде-то. Сначала вам нужно посмотреть в $HOMEсебя, а затем попробуйте .configи так, .gconfкак оба предложите каталог конфигурации.
Это, как говорится, и с помощью простого поиска Google, я обнаружил, что это может быть, ~/.gconf/apps/gnome-terminal/profilesно ваш пробег может варьироваться.
GTKВерсия повлияетgtk-2.0и наgtk-3.0конфигурацию каталога. Я говорил в целом, а не просто гном-терминал.