Impostare l'editor predefinito della shell

Versioni Compatibili Tutte le versioni supportate di Debian

Impostare l'editor predefinito della shell

Per impostare l'editor predefinito con cui interagire attraverso la shell, sono possibili due strade:

• Editor predefinito di sistema

è possibile modificare l'editor predefinito di sistema attraverso il comando:

# update-alternatives --config editor

quindi scegliere l'editor preferito dalla lista che apparirà a video. La modifica avrà effetto immediato per tutti gli utenti del sistema
Ovviamente l'editor che si vuole utilizzare deve essere stato già installato altrimenti non comparirà nella lista di editor tra i quali è possibile scegliere.

• Editor predefinito per un utente

in questo caso l'operazione è ancora più semplice. Bisogna inserire la seguente riga:

export EDITOR=/percorso/editor

al file ~/.bashrc

$ . .bashrc

per rendere effettive le modifiche.
Per ritornare alla situazione antecedente la modifica, bisogna cancellare la precedente riga e poi cancellare la variabile EDITOR:

$ EDITOR=

Se non viene impostato un editor predefinito per un utente allora verrà utilizzato l'editor specificato in update-alternatives; se viene invece impostata la variabile "EDITOR" questa avrà la precedenza sulle impostazioni scelte in update-alternatives
È utile ricordare che queste modifiche influenzano il comportamento del comando:

$ editor

che è un link alla scelta fatta in update-alternatives e al comportamento, ad esempio, dei comandi "crontab -e" e "visudo".

C'è la possibilità inoltre di lasciare l'utilizzo di sensible-editor, che è il default. In questo modo a ogni utente verrà effettuata la richiesta e ognuno ne sceglierà uno al primo utilizzo tramite select-editor, invocato direttamente da sensible-editor per creare il file $HOME/.selected_editor contenente la scelta effettuata.

---

Guida scritta da: S3v	Debianized 40%
Estesa da:
Verificata da: HAL 9000 20:03, 22 mag 2015 (CEST)
Verificare ed estendere la guida | Cos'è una guida Debianized