Micro, un editor di testo basato su terminale

su Micro

Nel prossimo articolo daremo un'occhiata a Micro. Questo è un editor di testo con supporto per plugin che possiamo usare nel terminale Ubuntu.

Questo editor di testo basato su terminale mira ad essere facile da usare e intuitivo, sfruttando tutte le funzionalità dei terminali moderni. è circa un editor di testo basato su terminale, che supporta un sistema di plugin completo. I plugin che questo editor può utilizzare sono scritti in Lua e c'è un gestore per scaricarli e installarli automaticamente.

Caratteristiche generali micro

micro in esecuzione su ubuntu

  • La caratteristica numero uno di Micro è che lo è facile da installare e facile da usare.
  • Il programma è altamente personalizzabile. Saremo in grado di utilizzare json per configurare le sue opzioni.
  • microfono supporta oltre 75 lingue e ha 7 combinazioni di colori predefinite tra cui scegliere. Anche i file di sintassi e le combinazioni di colori sono molto facili da fare.
  • Hai supporto per più cursori in stile Sublime, che ti dà molta potenza di editing.

selezione della linea con il mouse

  • microfono ha un sistema di plugin completo. I plugin sono scritti in Lua ed è presente un gestore di plugin per scaricare e installare automaticamente i plugin che ci interessano.
  • Le combinazioni di tasti di Micro sono ciò che ti aspetteresti da un editor facile da usare. Possono anche essere facilmente ridefiniti nel file binding.json.
  • il microfono ha pieno supporto per il mouse. Ciò significa che puoi fare clic e trascinare per selezionare il testo, fare doppio clic per selezionare per parola e fare triplo clic per selezionare un'intera riga.
  • I nostri consentirà di eseguire una vera shell interattiva da micro. Ci permetterà di aprire uno split, con codice da un lato e bash dall'altro.

Queste sono solo alcune delle caratteristiche di questo programma. Loro possono consulta le caratteristiche di questi dal tuo repository su GitHub.

Installa Micro su Ubuntu

Script di installazione rapida

Sul sito del progetto ce lo dicono il modo più semplice per installare questo programma su Ubuntu. Sarà solo necessario aprire un terminale (Ctrl+Alt+T) ed eseguire il seguente comando al suo interno:

scarica micro binario

curl https://getmic.ro | bash

Questo script posizionerà il binario Micro nella directory corrente. Da lì, possiamo spostarlo in una directory nel percorso che scegliamo:

sposta il Micro binario

sudo mv micro /usr/bin

Si può consultare il Repository GitHub per ulteriori informazioni su questo script.

Come pacchetto SNAP

Un'altra possibilità sarà installare questo editor tramite Scatto. Per installarlo in Ubuntu, dovremo solo aprire un terminale (Ctrl+Alt+T) ed eseguire il comando di installazione:

installa il microscatto

sudo snap install micro --classic

Più tardi se ne hai bisogno aggiorna il programma, in un terminale è sufficiente scrivere:

sudo snap refresh micro

Dopo aver terminato l'installazione, possiamo avvia il programma digitando da terminale:

micro

disinstallazione

a disinstallare il pacchetto SNAP di questo programma, basta aprire un terminale (Ctrl+Alt+T) ed eseguire il comando:

disinstallare il pacchetto snap

sudo snap remove micro

Si può Scopri di più su questo programma e sui suoi componenti aggiuntivi all'indirizzo sito web del progetto.


Lascia un tuo commento

L'indirizzo email non verrà pubblicato. I campi obbligatori sono contrassegnati con *

*

*

  1. Responsabile dei dati: Miguel Ángel Gatón
  2. Scopo dei dati: controllo SPAM, gestione commenti.
  3. Legittimazione: il tuo consenso
  4. Comunicazione dei dati: I dati non saranno oggetto di comunicazione a terzi se non per obbligo di legge.
  5. Archiviazione dati: database ospitato da Occentus Networks (UE)
  6. Diritti: in qualsiasi momento puoi limitare, recuperare ed eliminare le tue informazioni.

  1.   microfono suddetto

    ...o se stai usando 22.04, fai:

    sudo apt installa micro

    Sono passato a tempo pieno, dovrebbe essere installato per impostazione predefinita