Micro, een op terminals gebaseerde teksteditor

over Micro

In het volgende artikel gaan we Micro bekijken. Dit is un teksteditor met ondersteuning voor plug-ins die we kunnen gebruiken in de Ubuntu-terminal.

Deze op terminals gebaseerde teksteditor is bedoeld om gebruiksvriendelijk en intuïtief te zijn, terwijl hij profiteert van alle functies van moderne terminals. Gaat over een op terminals gebaseerde teksteditor, die een volledig plug-insysteem ondersteunt. De plug-ins die deze editor kan gebruiken, zijn geschreven in Lua en er is een manager om ze automatisch te downloaden en te installeren.

Micro Algemene kenmerken

micro draait op ubuntu

  • De nummer één functie van Micro is dat het eenvoudig te installeren en gemakkelijk te gebruiken.
  • Het programma is zeer aanpasbaar. We zullen json kunnen gebruiken om de opties te configureren.
  • Mike ondersteunt meer dan 75 talen en heeft 7 standaard kleurenschema's om uit te kiezen. Syntaxisbestanden en kleurenschema's zijn ook heel gemakkelijk te doen.
  • je hebt ondersteuning voor meerdere cursors in Sublime-stijl, wat u veel bewerkingskracht geeft.

lijnselectie met de muis

  • Mike heeft een compleet plug-in systeem. De plug-ins zijn geschreven in Lua en er is een plug-inmanager om de plug-ins die ons interesseren automatisch te downloaden en te installeren.
  • De toetscombinaties van Micro zijn wat je zou verwachten van een gebruiksvriendelijke editor. Ze kunnen ook gemakkelijk opnieuw worden gedefinieerd in het bestand bindingen.json.
  • microfoon heeft volledige muisondersteuning. Dit betekent dat u kunt klikken en slepen om tekst te selecteren, dubbelklikken om op woord te selecteren en driemaal klikken om een ​​hele regel te selecteren.
  • Voor onze zal het mogelijk maken om een ​​echte interactieve shell van micro . te draaien. Hiermee kunnen we een splitsing openen, met code aan de ene kant en bash aan de andere kant.

Dit zijn slechts enkele van de kenmerken van dit programma. Ze kunnen raadpleeg de kenmerken hiervan uit uw repository op GitHub.

Installeer Micro op Ubuntu

Snel installatiescript

Op de projectwebsite vertellen ze ons de gemakkelijkste manier om dit programma op Ubuntu te installeren. Het is alleen nodig om een ​​terminal te openen (Ctrl+Alt+T) en daarin het volgende commando uit te voeren:

micro binaire downloaden

curl https://getmic.ro | bash

Dit script zal de Micro binary in de huidige map plaatsen. Van daaruit kunnen we het naar een map verplaatsen in het pad dat we kiezen:

verplaats de Micro binaire

sudo mv micro /usr/bin

Het kan controleer de GitHub-opslagplaats voor meer informatie over dit script.

Als een SNAP-pakket

Een andere mogelijkheid is om deze editor te installeren via Snappen. Om het in Ubuntu te installeren, hoeven we alleen een terminal te openen (Ctrl+Alt+T) en uitvoeren het install commando:

microsnap installeren

sudo snap install micro --classic

Later als je dat nodig hebt update het programma, in een terminal is het alleen nodig om te schrijven:

sudo snap refresh micro

Na het afronden van de installatie kunnen we start het programma door terminal in te typen:

micro

uninstall

naar SNAP-pakket verwijderen van dit programma, open gewoon een terminal (Ctrl+Alt+T) en voer de opdracht uit:

verwijder het snap-pakket

sudo snap remove micro

Het kan Lees meer over dit programma en de add-ons op project website.


Laat je reactie achter

Uw e-mailadres wordt niet gepubliceerd. Verplichte velden zijn gemarkeerd met *

*

*

  1. Verantwoordelijk voor de gegevens: Miguel Ángel Gatón
  2. Doel van de gegevens: Controle SPAM, commentaarbeheer.
  3. Legitimatie: uw toestemming
  4. Mededeling van de gegevens: De gegevens worden niet aan derden meegedeeld, behalve op grond van wettelijke verplichting.
  5. Gegevensopslag: database gehost door Occentus Networks (EU)
  6. Rechten: u kunt uw gegevens op elk moment beperken, herstellen en verwijderen.

  1.   micro- zei

    ...of als je 22.04 gebruikt, doe dan:

    sudo apt installeer micro

    Ik ben fulltime overgestapt, zou standaard moeten worden geïnstalleerd