Вопросы Теги

Сбросить настройки профиля терминала (без использования терминала)

Необходимо создать базу данных. mandb -c должен это сделать. Пример ниже. 

# man -k foo
foo: nothing appropriate.
# mandb -c
Processing manual pages under /usr/share/man...
...
Checking for stray cats under /var/cache/man/local...
89 man subdirectories contained newer manual pages.
7168 manual pages were added.
0 stray cats were added.
# man -k foo
ip-fou (8)           - Foo-over-UDP receive port configuration
#

Страницу руководства для mandb можно найти здесь, см. Параметр «-c» .

2
25.04.2017, 02:20
4 ответа

No tendrás que instalar ningún programa ni eliminar ningún archivo.

Para editar las preferencias de su gnome -terminal, sin abrir o usar  gnome -terminal:

  1. Ir a:root/usr/share/applications

  2. busque Terminal en la carpeta.

  3. A continuación, abra sus propiedades haciendo clic derecho en Terminal. Luego verá el comando.

Esto es realmente lo que sucede cuando abres la terminal.

Así que para editar las preferencias; cambia el comando gnome-terminala gnome-terminal --preferences... ¡Voila!

Después de "reparar" la configuración. Simplemente cierre las preferencias y luego elimine --preferencesdel comando en la ventana de propiedades. Ahora solo abre la terminal como lo harías.

2
27.01.2020, 21:59

Я использовал инструмент dconfдля работы на пути к /org/gnome/terminal/profiles/xxxprofile. Очистил запись в поле «Пользовательская команда -», снял флажок «Использовать -пользовательскую команду -» и очистил запись в поле «Видимое имя -». Работа терминала вернулась в нормальное русло.

0
27.01.2020, 21:59

Что я на самом деле сделал, так это установил dconf, затем открыл dconf-editorи перешел к org/gnome/terminal/legacy/keybindings/preferences, установил ярлык на<Ctrl><Shift>r(любой другой неиспользуемый, который также подойдет )и нажал его до закрытия терминала.. Я пошел дальше и удалил предпочтение, которое я сделал. Перепробовав все остальное, это была моя последняя идея, и она сработала.

0
27.01.2020, 21:59

Самый простой способ исправить это :Шаги:

  1. Введите терминал в панели запуска приложений.
  2. Щелкните правой кнопкой мыши значок терминала и выберите настройки.
  3. перейти к безымянному.
  4. перейти к команде.
  5. Снимите первые два.
0
03.12.2020, 10:32

Теги

Похожие вопросы