micro
Micro is a terminal-based text editor designed for ease of use and customization.
About
Micro est un éditeur de texte moderne qui fonctionne dans le terminal, offrant une interface conviviale et une installation facile en tant que binaire statique. Il prend en charge la personnalisation via un format JSON simple et le scripting en Lua, te permettant de configurer des options et des raccourcis clavier. L'éditeur propose un support pour plusieurs curseurs, la coloration syntaxique pour plus de 75 langages et un système de plugins pour une fonctionnalité étendue. De plus, il inclut un support de la souris et la possibilité d'exécuter un shell interactif dans l'éditeur.
Alternatives à micro
- glancesby NicolargoGlances est un outil de surveillance système multiplateforme écrit en Python.
- naviby NaviNavi est un outil logiciel conçu pour des fins de navigation.
- catppuccinby CatppuccinUn thème pastel apaisant pour les esprits vifs !
- naviby DenisidoroSite officiel du club d'esports Natus Vincere
- exiftoolby exiftoolUne application en ligne de commande et une bibliothèque Perl pour lire et écrire des EXIF, GPS, IPTC, XMP, makernotes et d'autres métadonnées dans des fichiers image, audio et vidéo.
Resources & Links
Related Categories
Tu utilises micro ?
Suis son coût avec le reste de ton stack et reçois un rappel avant son renouvellement.
Ajouter à mon stackVendor
Micro Editor
Publisher of micro