Estoy intentando encontrar el archivo de configuración del terminal gnome en Ubuntu 16.04, pero no tengo suerte. Quiero que el cursor no deje de parpadear y probablemente haya un parámetro de tiempo de espera que pueda cambiar, pero no encuentro el archivo para hacerlo. Sé que se puede hacer a través del dconf-editor, pero por alguna razón eso no funciona (creo que eliminé alguna dependencia).
Respuesta1
No hay ningún archivo de configuración.
Administra gnome-terminaltodas sus configuraciones a través dconf(o gconfen versiones antiguas de Ubuntu) que es comparable al registro de Windows. Es un archivo binario optimizado para leer rápidamente sus valores, no puede editarlo ni verlo manualmente como un documento de texto.
Si su dconf-editorherramienta o cualquier herramienta que esté intentando utilizar no funciona, debe corregirla.esoerror primero.
Sólo para completar, pero probablemente ya haya visto esos enlaces (que solo mencionan dconf/ gconf, por supuesto):
¿Cómo desactivo el cursor parpadeante en gnome-terminal?
¿Cómo desactivar el cursor parpadeante en Gnome 3.8?
Respuesta2
Los comentarios a la publicación original deexpresoyFabian Strietelmerecen un reconocimiento especial. Entre esos dos, pude copiar fácilmente mis preferencias (varios perfiles y otras cosas menores) de VM a VM. ¡Muchas gracias!
Ahorrar:
dconf dump /org/gnome/terminal/ > ~/gterminal.preferences
Instalar:
cat ~/gterminal.preferences | dconf load /org/gnome/terminal/legacy/profiles:/
Respuesta3
Siguiendo la respuesta de ajaym62, pude lograr una copia de seguridad y restauración de las propiedades con los siguientes comandos:
dconf dump /org/gnome/terminal/ > ~/dev/help/gnome-terminal.properties
cat ~/dev/help/gnome-terminal.properties | dconf load /org/gnome/terminal/
Primero tuve que instalar la dconfherramienta:
sudo apt install dconf-cli
Respuesta4
NB: no tendrás que instalar ningún programa ni eliminar ningún archivo.
Para editar tus gnome-terminalpreferenciassin realmente abrir o usar gnome-terminalir a
/root/usr/share/applications
Luego localizaTerminalen la carpeta.
Luego abra sus propiedades haciendo clic derecho enTerminal.
Allí verásdominio.
En realidad, esto es lo que sucede cuando abres la terminal. Entonces, para editar las preferencias, cambie el comando a gnome-terminal --preferences.
Voilá
Después de "reparar" la configuración. Simplemente cierre las preferencias y luego elimínelas --preferencesdel comando en la ventana de propiedades. Ahora simplemente abre la terminal como lo harías normalmente.
EDITAR: Si está en una interfaz de línea de comando, simplemente use el comandognome-terminal --profile=default