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 
). Il est utilisable avec la souris 
. Il dispose aussi d'un système de plugins qui permet l'ajout de fonctionnalités.
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 :
). Il est utilisable avec la souris . Il dispose aussi d'un système de plugins qui permet l'ajout de fonctionnalités.Le site de micro : https://micro-editor.github.io/index.html
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