Introduzione

micro è un editor di testo utilizzabile all'interno del terminale. Nel tempo si è rivelato una valida alternativa all'editor nano installato di default in Ubuntu. Rispetto a quest'ultimo offre:

• scorciatoie da tastiera simili a quelle dei programmi a interfaccia grafica e pertanto facili da ricordare (Ctrl c, Ctrl v, ecc..);

• ha già un tema impostato per evidenziare la sintassi che può essere modificato;
• selezione multipla del testo, suddivisione dello schermo, auto completamento tramite LSP e altro.

In definitiva micro abbassa la difficoltà di utilizzo di un editor nel terminale, aspetto apprezzabile per chi è alle prime armi, ma senza rinunciare ad alcune funzionalità avanzate che possono far piacere a utenti più esperti.

Installazione

Installare il pacchetto micro

Avvio

Vengono qui riportati i comandi di avvio da terminale ricordando che è comunque presente un'icona di avvio.

• Semplice avvio dell'editor:

  micro

• Supponendo di avere nella propria Home il file doc.txt, per avviarlo digitare:

  micro doc.txt

• Per avviare con i privilegi di amministrazione un file di sistema come ad esempio /etc/fstab:

  sudo micro /etc/fstab

Scorciatoie da tastiera

Movimenti e selezioni

Azioni

Comandi

Sono presenti due tipologie di comandi definiti dalle seguenti scorciatoie da tastiera che apriranno un prompt dei comandi all'ultima riga:

• Ctrl e: premendo il tasto tab sarà possibile scorrere una lista di comandi per accedere a svariate funzionalità fra cui:

  • set colorscheme; impostare il tema.

  • hsplit: suddividere la schermata.

  • open: aprire file.

  • help: documentazione interna all'editor.

    Vivamente consigliato per familiarizzare con le funzionalità dell'editor.

  • help defaultkeys: lista delle scorciatoie da tastiera.

  • help commands: lista dei comandi.

• Ctrl b: permette di eseguire comandi da terminale.

• Ctrl q: scorciatoia per uscire dal prompt dei comandi.

• ↑ (freccia su): permette di scorrere i comandi digitati in precedenza.

Impostare tema

1. Dopo aver premuto Ctrl e, digitare nel prompt:

   set colorscheme

2. Premere la barra spaziatrice per spostare il cursore di uno spazio e quindi premere il tasto tab per visualizzare la lista dei temi.

3. Sempre col tasto tab scorrere la lista dei temi. Una volta trovato il tema desiderato, premere Invio per impostarlo.

4. Per selezionare un tema differente senza dover ridigitare tutta la sequenza, è possibile premere Ctrl e e quindi ↑ (freccia su) per richiamare e modificare il comando precedente.

Configurazione

È possibile personalizzare le funzionalità di micro editando il file ~/.config/settings.json. Un elenco delle personalizzazioni possibili è consultabile in questa pagina.

Plugin

micro dispone di una serie di plugin di vario genere.
Si segnala in particolare il plugin lsp che permette di integrare funzionalità di auto completamento e linting con svariati linguaggi di programmazione.

Ulteriori risorse

• Sito ufficale

• Tutorial su Garuda Linux forum

CategoryProgrammazione CategoryProduttivita