Impostare l'editor predefinito della shell: differenze tra le versioni
S3v (discussione | contributi) mNessun oggetto della modifica |
S3v (discussione | contributi) m (+ template autori) |
||
| Riga 1: | Riga 1: | ||
{{Versioni compatibili}} | {{Versioni compatibili}} | ||
== Impostare l'editor predefinito della shell == | == Impostare l'editor predefinito della shell == | ||
Per impostare l'editor predefinito con cui interagire attraverso la [[shell]], sono possibili due strade: | Per impostare l'editor predefinito con cui interagire attraverso la [[shell]], sono possibili due strade: | ||
| Riga 12: | Riga 15: | ||
in questo caso l'operazione è ancora più semplice. Bisogna inserire la seguente riga: | in questo caso l'operazione è ancora più semplice. Bisogna inserire la seguente riga: | ||
<pre> | <pre> | ||
EDITOR=/percorso/editor | export EDITOR=/percorso/editor | ||
</pre> | </pre> | ||
al file <code>~/.bashrc</code> | al file <code>~/.bashrc</code> | ||
<pre> | <pre> | ||
$ . .bashrc | $ . .bashrc | ||
</pre> | </pre> | ||
per rendere effettive le modifiche.<br/> | per rendere effettive le modifiche.<br/> | ||
| Riga 34: | Riga 33: | ||
</pre> | </pre> | ||
che è un link alla scelta fatta in <code>update-alternatives</code> e al comportamento, ad esempio, dei comandi "crontab -e" e "[[visudo]]". | che è un link alla scelta fatta in <code>update-alternatives</code> e al comportamento, ad esempio, dei comandi "crontab -e" e "[[visudo]]". | ||
{{Autori|Autore=[[Utente:S3v|S3v]]}} | |||
[[Categoria:Uso del terminale]][[Categoria:Ottimizzazione del sistema]] | [[Categoria:Uso del terminale]][[Categoria:Ottimizzazione del sistema]] | ||
Versione delle 16:54, 21 lug 2012
 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".
| Guida scritta da: S3v |  Debianized 20%
|
| Estesa da: | |
| Verificata da: | |
|
Verificare ed estendere la guida | Cos'è una guida Debianized | |