Ceci est une ancienne révision du document !
Micro
Micro est un éditeur de texte en mode console faisant alternative au bien connu nano. Il se veut très simple à utiliser et propose des raccourcis clavier très intuitifs (ctrl-q pour quitter, ctrl-z et ctrl-y pour annuler/refaire) contrairement à ceux de nano. Micro a aussi un prompt intégré similaire à celui de vim, mais se distingue de ce dernier en n'étant volontairement pas modal1). Tout un manuel intégré explique son fonctionnement et sa configuration de long en large.
Installation
Micro est dans les dépôts officiels d'Ubuntu 20.04 et 20.10. Toutesfois, il n'y est pas à jour (
v2.0.1 et v2.0.6 respectivement, MAJ à v2.0.8).
Depuis les dépôts officiels
Il suffit d'installer le paquet micro.
Via un script bash
La solution la plus simple pour avoir la dernière version de micro : (voir les commentaires à droite)
curl https://getmic.ro | bash # télécharge micro dans le dossier courant mv ./micro /usr/local/bin/ # lancez soit cette ligne : pour que tous les utilisateurs puissent l'exécuter mv ./micro ~/.local/bin/ # soit cette ligne : pour que seul votre utilisateur puisse l'exécuter
Si vous voulez voir le code du script :
curl https://getmic.ro | less
Via [[snap]]
snap install micro --classic
From Source, autres
Voir sur le github de micro pour plus d'infos.