Estoy tratando de encontrar el archivo de configuración del terminal gnome en Ubuntu 16.04, pero no tengo suerte en absoluto. Quiero que el cursor no deje de parpadear, y probablemente haya un parámetro de tiempo de espera que pueda cambiar, pero no puedo encontrar el archivo para hacerlo. Sé que se puede hacer a través de dconf-editor, pero por alguna razón eso no funciona (creo que eliminé alguna dependencia u otra).
gnome
gnome-terminal
Alcuin Arundel
fuente
fuente

cat dump.txt | dconf load /org/gnome/terminal/legacy/profiles:/dconf dump /org/gnome/terminal/. Consulte también askubuntu.com/questions/967517/backup-gnome-terminal/967535 .Respuestas:
No hay archivo de configuración.
El
gnome-terminalgestiona todas sus configuraciones a través dedconf(ogconfen versiones anteriores 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 la que está intentando usar no funciona, primero debe corregir ese error.Solo 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 deshabilitar el cursor parpadeante en Gnome 3.8?
fuente
GNOME Terminalno ofrece una opción separada para esto, pero respetaGNOMEel valor predeterminado que se encuentra en ladconfclave/org/gnome/desktop/interface/cursor-blink-timeout(en segundos).Mejore esto a un valor gigante si prefiere que el cursor siga parpadeando, por ejemplo
fuente
NB: no tendrá que instalar ningún programa ni eliminar ningún archivo.
Para editar sus
gnome-terminalpreferencias sin abrir o usar,gnome-terminalvaya aLuego ubique Terminal en la carpeta.
Luego abra sus propiedades haciendo clic derecho en Terminal .
Allí verás el comando .
Esto es realmente lo que sucede cuando abres la terminal. Entonces, para editar las preferencias, cambie el comando a
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 abra la terminal como lo haría normalmente.EDITAR : si está en una interfaz de línea de comandos, simplemente use el comando
gnome-terminal --profile=defaultfuente