Instrucciones y sugerencias - Cambiar el Editor de texto de Linux