Guida verificata con Ubuntu: 24.04

Problemi in questa pagina? Segnalali in questa discussione

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:

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.

Scorciatoie da tastiera

Movimenti e selezioni

Tasti

Descrizione

→ ← ↑ ↓

I tasti freccia muovono il cursore a destra, sinistra, su e giù.

Ctrl →

Muove il cursore a destra dopo una parola.

Ctrl ←

Muove il cursore a sinistra a inizio parola.

Shift Ctrl →

Seleziona caratteri verso destra fino a fine parola.

Shift Ctrl ←

Seleziona caratteri verso sinistra fino inizio parola.

Alt n

Seleziona ricorrenze di una parola selezionata.

Alt Shift ↓

Duplica cursore nella riga sotto.

Azioni

Tasti

Descrizione

Ctrl z

Annulla modifica.

Ctrl y

Ripeti modifica.

Ctrl s

Salva.

Ctrl q

Chiudi.

Ctrl c

Copia.

Ctrl x

Taglia.

Ctrl v

Incolla.

Ctrl d

Duplica riga o testo selezionato.

Comandi

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

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


CategoryProgrammazione CategoryProduttivita

Ufficio/EditorDiTesto/Micro (l'ultima modifica è del 16/01/2025 17.35.10, fatta da andreas-xavier)