Se volete definire quale editor sia il vostro predifinito in ambiente linux, da console digitate:
update-alternatives --config editor
e da qui scegliete quello che più preferite da un comodo e semplice menu a scelta numerica.
Ciao a tutti..
Uno sguardo sul mondo che mi circonda sia esso un insieme musicale o un concerto di stringhe...
