Micro ist der Terminal-basierte Texteditor, den Sie lieben werden
Die Web-Entwicklung hat sich im Laufe der Jahre stark verändert. Vor einem Jahrzehnt wurde das Terminal nicht benötigt, um Websites zu erstellen. Heutzutage ist es praktisch ein Grundnahrungsmittel mit Gulp / Grunt, npm und Versionskontrolle wie Git, das über die Kommandozeile läuft.
Wenn Sie ein Fan von Terminal sind, der eine leistungsfähige und unberührte Umgebung für die Arbeit mit Code darstellt, dann werden Sie Micro IDE lieben.
Es ist ein neuer Editor, der direkt im Terminal läuft . Sie können dies nach Belieben einrichten und für praktisch jede Sprache ausführen.
Die aktuelle Version von Micro unterstützt Syntax-Highlighting für mehr als 90 Sprachen und zählt.Jeder kann lernen, Micro zu verwenden, egal ob Sie Frontend-Programmierung, Backend-Programmierung oder komplexere Softwareentwicklung betreiben.
Ganz zu schweigen von allem, was Sie im Terminal tun, können Sie in Micro tun . Dies bedeutet, dass es sich zusammen mit einem vollständigen Terminalfenster als vollständige IDE verdoppelt.
Hier sind einige der größten Features:
- 100% frei und aufgeschlossen.
- Mehrfache Cursorunterstützung.
- Geteilte Bildschirm- und Tab-Funktionen.
- Automatisches Linting.
- Eingebaute Code-Snippet-Bibliothek.
- Läuft auf allen Betriebssystemen.
Micro ist einzeln herunterladbar. Installieren Sie es einfach und Sie können loslegen.
Außerdem hat diese IDE sogar ein eigenes Plugin-System, das auf der Lua-Sprache basiert. Entwickler können dieses Open-Source-Plugin als Framework zum Erstellen von Erweiterungen auf Micro verwenden.
Das heißt, wenn Sie das Terminal verabscheuen, dann werden Sie Micro entsetzlich finden. Dies ist definitiv eine IDE für Programmierer, die ihr Terminal lieben und einen zusammenhängenden Workflow wünschen .Aber es ist nie zu spät, die Befehlszeile zu lernen. Es braucht Übung und es wird hart, aber am Ende wirst du einen viel schnelleren Arbeitsablauf finden, der dir hilft, häufige Fallstricke zu vermeiden, denen du außerhalb des Terminals begegnen würdest.
Weitere Informationen finden Sie auf der Micro-Homepage. Außerdem finden Sie den Download-Link mit Dokumentation zum GitHub-Repo sowie weitere Details in der Gitter-Chat-Gruppe.
20 WordPress Group Themes und Plugins für 2018 kaufen
Gruppenkäufe sind heutzutage einer der heißesten Trends im Online-Shopping-Bereich. Und warum nicht? Mit so vielen Websites, die Massenangebote zu unglaublich niedrigen Preisen anbieten, möchte jeder der clevere Typ sein, der das bessere Angebot hat - und das bringt diesen Websites so viel Gewinn.Al
So wandeln Sie den WM-Spielplan in Ihre Zeitzone um [Quicktip]
Abgesehen davon, wo man das nächste Spiel live sehen kann, ist einer der größten Kopfschmerzen, wenn es darum geht, der Weltmeisterschaft zu folgen, der Zeitzonenunterschied. Es ist schrecklich, sich mitten in der Nacht hochzuziehen, nur um herauszufinden, dass du die erste Hälfte (oder das ganze Match!) V