web-dev-qa-db-fra.com

Comment savoir quel est mon éditeur de texte de terminal par défaut?

En lisant le matériel d’introduction de Git, j’ai lu un article qui évoquait cette question.

Comment utiliser le terminal pour découvrir quel est mon éditeur de texte par défaut?

Y a-t-il des commandes générales que je peux utiliser pour le découvrir?

11
user383919

L'éditeur par défaut est tel que défini par la ou les variables d'environnement EDITOR ou VISUAL.

L'éditeur par défaut est vi si ni l'un ni l'autre n'ont été définis. Ajouter

export EDITOR="/bin/nano" 

dans votre fichier ~/.bashrc pour définir, par exemple, nano en tant qu'éditeur par défaut.

Pour voir si la variable d’environnement est définie, vous pouvez utiliser

printenv | grep EDITOR

ou

set | grep EDITOR

On peut déréférencer la valeur de la variable d’environnement nommée en la préfixant avec un "$"

$ echo $EDITOR

ou

$ echo $VISUAL
12
Doug Smythies

Dans Ubuntu, il existe une commande générique editorqui est définie par le système alternatif Debian.

Si tu fais:

editor foobar.txt

le fichier sera ouvert à l'aide de l'éditeur d'origine, par exemple. vimname__, nanoqui est priorisé comme editoractuellement.

Vous pouvez vérifier les détails avec:

update-alternatives --display editor

Pour définir un nouvel éditeur en tant que editorname__:

Sudo update-alternatives --config editor

Notez également que bashrecherche dans certaines variables d’environnement les tâches qui s’y rapportent. Pour être exact, bashvérifie VISUALname__, EDITORl’une après l’autre. Si non défini, bashest défini par défaut sur emacsname__.

Certains processus générés à partir de bashvérifient également ces variables d'environnement.

16
heemayl

Il existe en fait git var -l qui vous permet de lister les variables, y compris la variable GIT_EDITOR. Voici le mien (l'information privée n'est pas définie, bien sûr):

$ git var -l
user.name=*****
user.email=****
GIT_COMMITTER_IDENT=****
GIT_AUTHOR_IDENT=****
GIT_EDITOR=editor
GIT_PAGER=pager

Comme heemayl l'a déjà souligné, la commande editorest celle définie par /etc/alternatives/editor. Dans mon cas, il s'agit de nano(qui, je suppose, est la valeur par défaut pour Ubuntu, car je ne me souviens pas avoir consciemment fait un effort pour modifier mon éditeur par défaut).

Mais sur d'autres systèmes que Ubuntu (ou devrais-je dire, qui n'ont pas de système alternatif Debian), il n'y a pas editorname__. Lisons cependant le man git:

GIT_EDITOR

Cette variable d'environnement remplace $ EDITOR et $ VISUAL. Il est utilisé par plusieurs commandes Git lorsque, en mode interactif, un éditeur doit être lancé. Voir aussi git-var (1) et l'option core.editor dans git-config (1).

Et si nous regardons à travers git-var il nous dit

L'ordre de préférence est la variable d'environnement $ GIT_EDITOR, puis la configuration core.editor, puis $ VISUAL, puis $ EDITOR, puis la valeur par défaut choisie lors de la compilation, qui est généralement vi.

Il n’ya donc rien de particulier à Ubuntu qu’il ait le système alternatif de Debian. Sur d'autres systèmes ne disposant pas de systèmes alternatifs Debian, la valeur par défaut est viname__

3
Sergiy Kolodyazhnyy