Impostare l'editor predefinito della shell

Da Guide@Debianizzati.Org.
Versione del 31 ago 2010 alle 00:00 di S3v (discussione | contributi) (Nuova pagina: == Impostare l'editor predefinito della shell == Per impostare l'editor predefinito con cui interagire attraverso la shell, sono possibili due strade: * '''Editor predefinito di sistem...)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)
Vai alla navigazione Vai alla ricerca

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:

EDITOR=/percorso/editor

al file ~/.bashrc o al file ~/bash_profile quindi:

$ . .bashrc

oppure:

$ . .bash_profile

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 del comando:

$ crontab -e

che aprirà l'editor predefinito dell'utente che lancia il comando.

S3v