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

Les logiciels dans tous les domaines
Répondre
Avatar du membre
Alain
Administrateur du site
Messages : 204
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 :!: ). 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
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