Как удалить профили терминала гнома в 16.04 LTS?
Я, может казаться, не нахожу способ удалить поврежденный профиль терминала гнома, у меня есть установка из списка под Файлом->, Открывают Terminal.
Как каждый удаляет один из них из списка? Я не могу изменить настройки, потому что это открывается и закрывается настолько быстро. Терминал 3.18.3 GNOME.
2 ответа
Необходимо установить dconf-editor для редактирования/удаления терминального профиля, если Вы не можете получить доступ gnome-terminal меню.
sudo apt-get install dconf-editor
Открывают dconf-editor затем перешли к org > gnome > terminal > legacy > profiles. Оттуда можно изменить профиль.
Снимок экрана, сделанный в 14,04 с gconf-editor
Выполнитесь gnome-terminal -- bash или gnome-terminal -- zsh (какой бы ни не неправильно сконфигурированная оболочка), или gnome-terminal -- /bin/sleep 1000 или что-то подобное для открытия терминала гнома в случае, если по умолчанию это закрывается слишком быстро из-за поврежденной команды запуска. Затем можно открыть Edit-> Preferences или диалоговое окно Profile Preferences и решать проблему.
Начало с терминала гнома 3.22 (Ловкая Ubuntu) можно даже использовать команду gnome-terminal --preferences для открытия окна Preferences непосредственно.