micro : mon nouvel éditeur de texte (remplace nano)

Les logiciels dans tous les domaines
Répondre
Avatar du membre
Alain
Administrateur du site
Messages : 219
Enregistré le : 11 févr. 2021 11:55
Localisation : Gradignan - Gironde
Contact :

micro : mon nouvel éditeur de texte (remplace nano)

Message par Alain »

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.
micro : fenêtre du haut avec le texte à éditer, en dessous l'aide puis les commandes principales
micro : fenêtre du haut avec le texte à éditer, en dessous l'aide puis les commandes principales
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...
La ligne de commande en bas de l'écran (Ctrl+e pour l'afficher) et une autre partie de l'aide
La ligne de commande en bas de l'écran (Ctrl+e pour l'afficher) et une autre partie de l'aide
Répondre