¿Cómo cambiar el caret de la Terminal de Gnome?

10

¿Cómo se cambia el cursor de texto / cursor en Terminal para bloquear, I-Beam o subrayar?

Luke Shimkus
fuente
¿Terminal de GNOME o algún otro tipo de GUI? Tal vez el tty?
Braiam

Respuestas:

7

Además del método GUI, también puede cambiar la forma del cursor desde la línea de comandos:

$ gconftool-2 --type string --set /apps/gnome-terminal/profiles/Default/cursor_shape <VALUE>

Los valores posibles son " bloque " para usar un cursor de bloque, " ibeam " para usar un cursor de línea vertical o " subrayado " para usar un cursor de subrayado.

Para obtener el valor actual:

$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/cursor_shape
block
Sylvain Pineau
fuente
1
ya tienes mi voto positivo para el método GUI paso a paso;)
Sylvain Pineau
Nota: Esto cambia el cursor no solo en el terminal actual, sino también en todas las demás pestañas gnome-terminal actuales y futuras del mismo perfil, como si abriera el editor de preferencias gráficas y lo cambiara allí.
egmont
@egmont De hecho, acabo de leer tu respuesta. Ahora, dependiendo de si tiene que ser persistente o no, tenemos la opción. Gracias
Sylvain Pineau
12

En versiones recientes de gnome-terminal, puede usar las siguientes secuencias de escape para cambiar el cursor:

  • \e[0 qo \e[ q: restablecer a lo que esté definido en la configuración del perfil
  • \e[1 q: bloque intermitente
  • \e[2 q: bloque estable
  • \e[3 q: subrayado intermitente
  • \e[4 q: subrayado constante
  • \e[5 q: haz I parpadeante
  • \e[6 q: viga en I estable

Puede imprimir estos por ej echo -ne '\e[5 q'.

Esto tiene la ventaja / desventaja (según su caso de uso) en comparación con el gconftoolmétodo que influye solo en la pestaña dada, y no en todas las pestañas que usan el perfil dado.

egmont
fuente
¡Esto se ve increíble! Desafortunadamente, no puedo usarlo (ejecutando gnome-terminal3.14.1). ¿Hay algo que deba hacer para habilitar esto? (funciona xterm)
iago-lito
44
Esta función está disponible desde vte-0.40, que se empareja oficialmente con gnome-terminal-3.16 (aunque probablemente solo pueda actualizar su vte y mantener gnome-terminal-3.14).
egmont
Genial, vamos a actualizar entonces. ¡Salud!
iago-lito
¡gran respuesta! Seguí estas instrucciones para obtener gnome-terminal 3.16 askubuntu.com/a/625250/114821
netimen
NB: si está usando tmux, probablemente necesite decirle a tmux cómo restablecer la forma del cursor agregando algo como esto a su .tmux.conf, o la primera secuencia no funcionará:set -ga terminal-overrides ",*256color*:Se=\\E[0 q"
Ash
5

Para cambiar su cursor de texto / cursor:

  1. Abre la Terminal .
  2. Haga clic derecho en la ventana de terminal.
  3. Pase el mouse sobre la opción Perfiles .
  4. Seleccione Preferencias de perfil .

Como se ve aquí:

Solo una ventana de terminal

5.Aquí encontrarás la opción, Forma del cursor .

Forma de Cusor

6.Disfrute usando la Terminal con un Caret diferente.

Luke Shimkus
fuente
¿Dónde está la forma del cursor?
bagustris