Где хранятся профили Gnome-Terminal в файловой системе?

15

Я создал новый профиль, который открывался с помощью программы fortune (atp-get install fortune-mod для местоположения загрузки) и установил его в качестве профиля, с помощью которого можно открывать все новые терминалы, чтобы я получал новое состояние при открытии терминала , К сожалению, я не знал, чтобы установить «выходной терминал при выходе из процесса» на что-то другое, чтобы он не выходил почти сразу. В настоящее время он завершает работу сразу же после выхода из состояния удачи, что происходит почти сразу, и мне нужно удалить профиль, но я не могу воспользоваться терминалом «Управление профилями», потому что он выходит слишком быстро, чтобы даже попытаться открыть меню редактирования, не говоря уже об удалении профиля. Мне нужно знать, в какую директорию сохранен профиль, чтобы я мог удалить вручную. Я пытался выполнить поиск по всей системе, но в результате этого поиска были найдены тонны файлов и папок, и у меня нет времени, чтобы открыть их все. Я ценю всю помощь, которую я могу получить. Заранее спасибо.

gnome-terminal Марчелло Николетти
источник
1
Как импортировать профиль gnome-терминала из базы данных dconf
bartolo-otrit
Как примечание, комментарий / ссылка от @ bartolo-otrit относится к gnome-terminalпрофилям в dconf(примечание D ), но в Ubuntu 14 gnome-terminalпрофили находятся в gconf(примечание G ); и для gconf, вы можете посмотреть на ~/.gconf/apps/gnome-terminal/профили
sdbbs

Ответы:

14

Профили для GNOME Terminal хранятся в системе конфигурации GConf . Чтобы изменить их напрямую, нажмите Alt+, F2чтобы отобразить окно «Выполнить команду», введите gconf-editor, а затем перейдите к /apps/gnome-terminal/profiles.

Снятие отметки /apps/gnome-terminal/profiles/Default/use_custom_commandдолжно решить вашу проблему.

Альтернативный способ выхода из этой ситуации - переопределить пользовательскую команду, указав другую в качестве аргумента командной строки, например gnome-terminal -x bash, еще раз в поле «Выполнить команду».

ændrük
источник
Альтернативный метод оказался тем, который работал. Большое спасибо. Я бы проголосовал, но у меня нет 15 репутации :(
Марчелло Николетти
Альтернативная команда также единственная, которая сработала. В редакторе gconf не было никакого флажка "use_custom_command".
Balinus
@ ændrük извините, что так долго принимал. Я только что получил уведомление по этому вопросу, которое вернуло меня все эти годы спустя.
Марчелло Николетти
3
В Ubuntu 17.04 этих записей нет в gconf-editor
phant0m
1
Профили для # GNOME Terminal 3.32.1хранятся в папке dconfnot gconf. Комментарий к этому вопросу, по-видимому, подразумевает, что они должны быть автоматически перенесены в dconf, но у меня нет этого, чтобы работать askubuntu.com/questions/906137/…
EoghanM
2

Вы также можете запустить xtermдругой эмулятор терминала, который доступен в Ubuntu. Оттуда вы можете запускать любые команды, которые вам нужны.

Чтобы сделать его терминалом по умолчанию, запустите:

sudo update-alternatives --config x-terminal-emulator

И измените значение по умолчанию на то, что вы хотите.

Другой способ исправить Gnome Terminal - использовать Nautilus (файловый менеджер) для удаления всех пользовательских настроек:

  • Перейдите к ~/.gconf/apps/gnome-terminal(это скрытая папка, нажмите CTRL+Hдля просмотра)
  • Отредактируйте там xmlфайлы или просто удалите всю gnome-terminalпапку
  • Снова откройте свой терминал Gnome, он будет восстановлен с заводскими настройками
MestreLion
источник