micro : mon nouvel éditeur de texte (remplace nano)
Posté : 20 févr. 2024 08:00
micro, c'est un éditeur de texte en mode ligne de commande plus intuitif que vi (c'est pas difficile !) et que nano (après un peu d'adaptation 
). Je m'en sers notamment pour bricoler mes fichiers de config, et d'ailleurs un collègue qui suit une formation wordpress me l'a conseillé pour éditer ses thèmes plus facilement. Il est utilisable avec la souris 
et dispose aussi d'un système de plugins qui permet l'ajout de fonctionnalités.
Le site de micro :
La dernière version est la 2.0.13 du 2 octobre 2023.
Installation : sudo apt install micro
Utilisation :
). Je m'en sers notamment pour bricoler mes fichiers de config, et d'ailleurs un collègue qui suit une formation wordpress me l'a conseillé pour éditer ses thèmes plus facilement. Il est utilisable avec la souris et dispose aussi d'un système de plugins qui permet l'ajout de fonctionnalités.Le site de micro :
La dernière version est la 2.0.13 du 2 octobre 2023.
- micro : fenêtre du haut avec le texte à éditer, en dessous l'aide puis les commandes principales
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...
- La ligne de commande en bas de l'écran (Ctrl+e pour l'afficher) et une autre partie de l'aide