Я пытаюсь найти файл конфигурации терминала gnome в Ubuntu 16.04, но безуспешно. Я хочу, чтобы курсор не переставал мигать, и, вероятно, есть параметр тайм-аута, который я могу изменить, но я не могу найти файл, чтобы сделать это. Я знаю, что это можно сделать через dconf-editor, но по какой-то причине это не работает (я думаю, я удалил какую-то зависимость или что-то еще).
решение1
Файла конфигурации нет.
Управляет gnome-terminal
всеми своими настройками через dconf
(или gconf
в старых релизах Ubuntu), что сопоставимо с реестром Windows. Это двоичный файл, оптимизированный для быстрого чтения его значений, вы не можете редактировать или просматривать его вручную, как текстовый документ.
Если ваш dconf-editor
или любой другой инструмент, который вы пытаетесь использовать, не работает, вам нужно это исправить.чтоошибка первая.
Просто для полноты картины, но, вероятно, вы уже видели эти ссылки (в которых упоминается только dconf
/ gconf
, конечно):
Как отключить мигающий курсор в gnome-terminal?
Как отключить мигающий курсор в Gnome 3.8?
решение2
Комментарии к оригинальному посту отeexpressиФабиан Штрителзаслуживают особого признания. Между этими двумя я смог легко скопировать свои настройки (несколько профилей и другие мелкие вещи) из VM в VM. Большое спасибо!
Сохранять:
dconf dump /org/gnome/terminal/ > ~/gterminal.preferences
Установить:
cat ~/gterminal.preferences | dconf load /org/gnome/terminal/legacy/profiles:/
решение3
Следуя ответу ajaym62, я смог выполнить резервное копирование и восстановление свойств с помощью следующих команд:
dconf dump /org/gnome/terminal/ > ~/dev/help/gnome-terminal.properties
cat ~/dev/help/gnome-terminal.properties | dconf load /org/gnome/terminal/
Сначала мне нужно было установить dconf
инструмент:
sudo apt install dconf-cli
решение4
Примечание: вам не придется устанавливать какие-либо программы или удалять какие-либо файлы.
Чтобы изменить ваши gnome-terminal
предпочтениябез фактического открытия или использования gnome-terminal
идти к
/root/usr/share/applications
Затем найдитеТерминалв папке.
Затем откройте его свойства, щелкнув правой кнопкой мыши поТерминал.
Там вы увидитекоманда.
Это то, что происходит на самом деле, когда вы открываете терминал. Поэтому, чтобы изменить настройки, измените команду на gnome-terminal --preferences
.
Вуаля
После "исправления" настроек. Просто закройте настройки и удалите --preferences
из команды в окне свойств. Теперь просто откройте терминал, как обычно.
РЕДАКТИРОВАТЬ: Если вы находитесь в интерфейсе командной строки, то просто используйте командуgnome-terminal --profile=default