¿Dónde se almacenan los perfiles de Gnome-Terminal en el sistema de archivos?


15

Creé un nuevo perfil que se abrió con el programa fortune (atp-get install fortune-mod para la ubicación de descarga) y lo configuré como el perfil con el que abrir todos los terminales nuevos para obtener una nueva fortuna cuando abriera el terminal . Desafortunadamente, no sabía configurar "terminal de salida cuando el proceso sale" a otra cosa para que no salga casi de inmediato. Actualmente sale tan pronto como sale la fortuna, lo cual es casi inmediato y necesito eliminar el perfil, pero no puedo a través de la opción "administrar perfiles" del terminal porque sale demasiado rápido como para intentar abrir el menú de edición y mucho menos eliminar el perfil. Necesito saber en qué directorio se guarda el perfil para poder eliminarlo manualmente. Traté de hacer una búsqueda en todo el sistema, pero los resultados de esa búsqueda fueron toneladas de archivos y carpetas y no tengo tiempo para abrirlos todos. Agradezco toda la ayuda que pueda obtener. Gracias por adelantado.


1
Cómo importar el perfil de terminal gnome de la base de datos dconf: unix.stackexchange.com/a/199864
bartolo-otrit

Como nota, el comentario / enlace de @ bartolo-otrit se refiere a los gnome-terminalperfiles en dconf(nota D ), pero en ubuntu 14, los gnome-terminalperfiles están en gconf(nota G ); y gconfpuedes buscar ~/.gconf/apps/gnome-terminal/los perfiles
sdbbs

Respuestas:


14

Los perfiles para el terminal GNOME se almacenan en el sistema de configuración GConf . Para modificarlos directamente, presione Alt+ F2para mostrar el cuadro "Ejecutar un comando", ingrese gconf-editory luego busque /apps/gnome-terminal/profiles.

Desmarcar /apps/gnome-terminal/profiles/Default/use_custom_commanddebería resolver su problema.

Un método alternativo para salir de esta situación es anular el comando personalizado especificando otro como argumento de línea de comando, por ejemplo gnome-terminal -x bash, una vez más en el cuadro "Ejecutar un comando".


El método alternativo terminó siendo el que funcionó. Muchas gracias. Yo votaría pero no tengo 15 reputación :(
Marcello Nicoletti

El comando alternativo también es el único que funcionó. En el editor de gconf, no había ninguna casilla de verificación "use_custom_command".
Balinus

@ ændrük lo siento por tomar tanto tiempo para aceptar. Acabo de recibir una notificación para esta pregunta que me trajo de vuelta todos estos años después.
Marcello Nicoletti

3
En Ubuntu 17.04, estas entradas no están allí en gconf-editor
phant0m

1
Los perfiles para # GNOME Terminal 3.32.1se almacenan en dconfno gconfUn comentario sobre esta pregunta parece implicar que deberían migrarse automáticamente a dconf, pero no tengo que funcionar askubuntu.com/questions/906137/…
EoghanM

2

También puede ejecutar xterm, otro emulador de terminal que está disponible en Ubuntu. Desde allí puede ejecutar cualquier comando que necesite.

Para que sea el terminal predeterminado, ejecute:

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

Y cambie el valor predeterminado a lo que quiera.

Otro enfoque para arreglar Gnome Terminal es usar Nautilus (el administrador de archivos) para eliminar todas las preferencias personalizadas:

  • Navegue a ~/.gconf/apps/gnome-terminal(es una carpeta oculta, presione CTRL+Hpara ver)
  • Edite los xmlarchivos allí, o simplemente elimine toda la gnome-terminalcarpeta
  • Abra su Terminal Gnome nuevamente, se restaurará con la configuración de fábrica
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.