Comment changer le signe d'insertion du terminal Gnome?

Comment changer le curseur de texte / curseur dans Terminal pour bloquer, I-Beam ou souligner.

gnome-terminal

— Luke Shimkus
source

Terminal Gnome ou un autre type d'interface graphique? Peut-être le tty?

— Braiam

Réponses:

En plus de la méthode GUI, vous pouvez également modifier la forme du curseur à partir de la ligne de commande:

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

Les valeurs possibles sont " block " pour utiliser un curseur de bloc, " ibeam " pour utiliser un curseur de ligne verticale ou " underline " pour utiliser un curseur de soulignement.

Pour obtenir la valeur actuelle:

$ gconftool-2 --get /apps/gnome-terminal/profiles/Default/cursor_shape
block

— Sylvain Pineau
source

vous avez déjà mon vote positif pour la méthode GUI étape par étape;)

— Sylvain Pineau

Remarque: Cela modifie le curseur non seulement dans le terminal actuel, mais aussi dans tous les autres onglets actuels et futurs du terminal gnome du même profil, comme si vous aviez ouvert l'éditeur de préférences graphiques et l'y aviez changé.

— egmont

@egmont En effet, je viens de lire votre réponse. Maintenant, selon qu'il doit être persistant ou non, nous avons le choix. Merci

— Sylvain Pineau

Dans les versions récentes de gnome-terminal, vous pouvez utiliser les séquences d'échappement suivantes pour changer le curseur:

\e[0 qou \e[ q: réinitialiser ce qui est défini dans les paramètres du profil
\e[1 q: bloc clignotant
\e[2 q: bloc stable
\e[3 q: soulignement clignotant
\e[4 q: soulignement constant
\e[5 q: faisceau en I clignotant
\e[6 q: poutre en I stable

Vous pouvez les imprimer par exemple echo -ne '\e[5 q'.

Cela a l'avantage / l'inconvénient (en fonction de votre cas d'utilisation) par rapport à la gconftoolméthode d'influencer uniquement l'onglet donné, et pas tous les onglets qui utilisent le profil donné.

— egmont
source

Cela a l'air génial! Malheureusement, je ne peux pas l'utiliser (exécutant gnome-terminal3.14.1). Y a-t-il quelque chose que je devrais faire pour activer cela? (ça marche xterm)

— iago-lito 'envisageant de quitter le

Cette fonctionnalité est disponible depuis vte-0.40 qui s'associe officiellement avec gnome-terminal-3.16 (bien que vous puissiez probablement mettre à niveau votre vte uniquement et conserver gnome-terminal-3.14).

— egmont

Très bien, mettons à niveau alors. À votre santé!

— iago-lito 'envisageant de quitter le

très bonne réponse! J'ai suivi ces instructions pour obtenir gnome-terminal 3.16 askubuntu.com/a/625250/114821

— netimen

NB: si vous utilisez tmux, vous devrez probablement dire à tmux comment réinitialiser la forme du curseur en ajoutant quelque chose comme ça à votre .tmux.conf, ou la première séquence ne fonctionnera pas:set -ga terminal-overrides ",*256color*:Se=\\E[0 q"

— Ash

Pour modifier votre curseur texte / curseur:

Ouvrez Terminal .
Cliquez avec le bouton droit sur la fenêtre du terminal.
Passez votre souris sur l'option Profils .
Sélectionnez Préférences de profil .

Comme on le voit ici:

Juste une fenêtre de terminal

5.Vous trouverez ici l'option, Forme du curseur .

Forme de cusor

Profitez de l'utilisation de Terminal avec un Caret différent.

— Luke Shimkus
source

où est la forme du curseur?

— bagustris