Aller au contenu
Korben, roi d’internet, logo bébé avec des lunettes en mode thug life

Un éditeur de texte / code moderne pour votre terminal

Vous cherchez un éditeur de texte qui tourne dans un terminal, qui soit facile à utiliser et intuitif, mais qui sait également tirer partie des capacités des terminaux modernes.

Et bien pas de soucis, j’ai ce qu’il vous faut. Cela s’appelle Micro et c’est typiquement le genre de petit outil qui sait se rendre indispensable.

Capture d'écran d'un éditeur de texte avec une interface utilisateur moderne

Vous l’installez avec votre gestionnaire de paquet préféré, ou vous pouvez également télécharger les binaires ici pour Linux, macOS, Windows et même BSD.

On peut également l’installer simplement en appelant le script d’install comme ceci :

curl https://getmic.ro | bash

Notez que quand vous voyez une commande avec curl suivie d’une exécution directe dans le bash, il est quand même plus raisonnable d’aller jeter un œil au script appelé pour être certain que ça ne contient aucune mauvaise surprise.

Illustration d'un terminal avec un éditeur de code intégré

Micro se veut en quelque sorte le successeur de l’éditeur nano en étant facile à installer, facile à utiliser et surtout agréable, ce qui n’est pas anodin quand on passe beaucoup de temps dans un terminal chaque jour à éditer des fichiers de conf ou à écrire du code.

Micro dispose de nombreux raccourcis clavier que vous pouvez personnaliser ainsi que de nombreuses commandes pour faire des recherches / remplacements, ajouter des plugins, lancer des commandes en tâche de fond…etc.

À découvrir ici.


Comment supprimer vos données personnelles d’Internet avec Incogni ?

Espace partenaire

🔒Votre vie privée est-elle vraiment privée❓

😮Vous l’ignorez peut-être, mais des sociétés appelées Data Brokers collectent, agrègent et monnaient vos données personnelles sans votre consentement.

📝Votre nom, votre prénom, votre date de naissance, 📧 votre email, 🏠 votre adresse postale, et bien d’autres informations sont ainsi collectés pour être revendus à des publicitaires. Il est donc temps de reprendre le contrôle de vos informations personnelles grâce à Incogni

🛡️Incogni est un service qui se charge pour vous de contacter ces Data Brokers et d’exiger la suppression de vos données personnelles.

💥 Profitez d’une offre spéciale avec le code INCOGNI60 et ne laissez pas votre vie privée entre de mauvaises mains❗🙅‍♀️

👇🔍 CLIQUEZ ICI POUR EN SAVOIR PLUS 🔍👇

Les articles du moment