Impostare un editor diverso per sudoedit: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
(No difference)
|
Revision as of 17:13, 25 May 2006
Impostare il comando per lanciare l'editor desiderato nella variabile
$EDITOR
Inserendo il comando
export EDITOR="joe"
nel file .bashrc o .bash_profile