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-terminal
gestiona todas sus configuraciones a través dedconf
(ogconf
en 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-editor
herramienta 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 Terminal
no ofrece una opción separada para esto, pero respetaGNOME
el valor predeterminado que se encuentra en ladconf
clave/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-terminal
preferencias sin abrir o usar,gnome-terminal
vaya 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
--preferences
del 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=default
fuente