Editor Micro
Micro è un editor opensource che promette di essere di leggero, semplice e intuitivo. Ideale per chi edita i propri file direttamente da terminale, Micro permette di installare tantissimi plugin e renderlo davvero polifunzionale.
L’installazione è molto semplice ed è disponibile su Linux e MacOS. E’ chiaramente possibile ottenere l’eseguibile già pronto oppure scaricare il codice sorgente e compilarlo.
Tra le caratteristiche interessanti segnalo:
- nessuna dipendenza necessaria;
- possibilità di utilizzare le classiche combinazioni (ctrl+c, ctrl+v, ctrl+z, …);
- supporto per il puntatore e la clipboard;
- dividere la finestra in più tab;
- riconoscimento sintattico per più di 130 linguaggi;
- supporto al true color;
- possibilità di registrare macro.
Utilizzo
Facciamo una rapita scorsa dei comandi principali per iniziare a usare questo editor.
Per lanciare i comandi è necessario prima attivare la command bar con la combinazione ctrl+e.
- help : mostra in testo di aiuto;
- save [nomefile] : permette di salvare il file;
- replace e replaceall [testo] [testo da sostituire] : permette di cercare e sostituire una o tutte le occorrenze;
- vsplit : apre un nuovo tab dividendo la finestra in verticale;
- hsplit : apre un nuovo tab dividendo la finestra in orizzontale;
- quit : chiude Micro.
Questi sono solo una parte dei comandi e possono essere ulteriormente ampliati tramite i numerosi plugin.
Non ti resta che installarlo e iniziare la tua esperienza.
Le opinioni in quanto tali sono opinabili e nulla ti vieta di approfondire l’argomento.
Risorse: