Le site de micro : https://micro-editor.github.io/index.html
La dernière version est la 2.0.13 du 2 octobre 2023.
Installation : sudo apt install micro
Utilisation :
- Alt+g (g pour guide) = Fait apparaître un menu en bas de l'écran avec les commandes principales, pour faire disparaître le menu faire Alt+g à nouveau (principe de base pour les commandes)
- Ctrl+g = Fait apparaître une fenêtre d'aide
- Ctrl+e = Fait apparaître une ligne de commande sous le menu du bas
- Ctrl+q = quitter (une ligne apparaît en bas demandant si l'on souhaite sauvegarder)
- Ctrl+s = sauver (pour sauver sous un autre nom : Ctrl+e et save nouveaunom)
- Ctrl+f (f pour find) = rechercher
- Ctrl+c = copier
- Ctrl+v = coller
- Ctrl+x = couper
- Ctrl+y = refaire
- Ctrl+z = annuler
- et quelques autres ...