Nützliche Tipps, um Gedit zu einem noch besseren Texteditor zu machen
Der Gedit-Texteditor unter Linux ist für seine einfache Bedienung bekannt. In seiner Standardform bietet es fast alle Grundfunktionen, die ein idealer Texteditor haben sollte. Die wahre Stärke von Gedit liegt jedoch darin, dass sein Funktionsumfang mithilfe von Plugins erweitert werden kann.
Es gibt eine Vielzahl von Plugins für Gedit, daher ist es fast unmöglich, jedes der verfügbaren Plugins zu kennen oder zu verwenden. Während sich einige Plugins an ein Nischenpublikum (z. B. Programmierer) richten, gibt es viele, die sich auch für Endbenutzer als nützlich erweisen können.
In diesem Artikel besprechen wir ein paar Plugins (sowie einen netten kleinen Trick), die Ihr Gedit-Erlebnis unabhängig von der Art Ihres Benutzers verbessern. Bitte beachten Sie, dass wir alle in diesem Artikel erwähnten Befehle und Anweisungen unter Ubuntu 14.04 und Gedit 3.10.4 getestet haben.
1. Suchen Sie nach Text in allen Dateien in einem Verzeichnis
Mit der Funktion „Suchen“ von Gedit können Sie standardmäßig Suchvorgänge in einer einzelnen Datei durchführen. Was ist, wenn Sie in allen Dateien in einem bestimmten Verzeichnis nach einem Text/einer Zeichenfolge suchen möchten? Keine Sorge, es gibt ein Plugin namens Dateisuche Damit können Sie das tun.
Um das Plugin zu installieren, laden Sie zunächst das Gedit File Search-Plugin herunter, indem Sie den folgenden Befehl ausführen:
Git-Klon git://github.com/oliver/gedit-file-searchNotiz: Wenn Git nicht auf Ihrem System installiert ist, führen Sie einfach den folgenden Befehl aus, um es zu installieren:
Sobald der Plugin-Download abgeschlossen ist, entpacken Sie die heruntergeladene Datei und führen Sie den Befehl „make“ im extrahierten Verzeichnis aus. Kopieren Sie abschließend den Inhalt des extrahierten Ordners nach „/home/Ihr-Benutzername/.local/share/gedit/plugins/“.
Starten Sie nun Gedit, gehen Sie zu „Bearbeiten -> Einstellungen -> Plugins“ und aktivieren Sie „Dateisuche“.
Jetzt können Sie auf das Plugin zugreifen, indem Sie zu „Suchen -> Dateien suchen…“ gehen oder indem Sie mit der rechten Maustaste auf eine geöffnete Datei klicken und auf die Option „Dateien suchen nach“ klicken.
2. Machen Sie kürzlich geschlossene Tabs rückgängig
Egal, ob Sie einen Tab öffnen möchten, den Sie versehentlich geschlossen haben, oder schnell einen der kürzlich geschlossenen Tabs öffnen möchten, der Necronomicon Plugin steht Ihnen zur Verfügung. Hier erfahren Sie, wie Sie es herunterladen, installieren und verwenden.
Laden Sie zunächst den Quellcode des Plugins herunter und extrahieren Sie ihn. Kopieren Sie dann die Dateien „necronomicon.py“ und „necronomicon.plugin“ in das Verzeichnis „/home/your-username/.local/share/gedit/plugins“.
Starten Sie Gedit neu und aktivieren Sie das Plugin im Reiter „Bearbeiten -> Einstellungen -> Plugins“.
Beginnen Sie mit dem Zugriff auf die kürzlich geschlossenen Dateien, indem Sie zu „Datei -> Zuletzt geschlossen“ gehen.
3. Aktivieren Sie die Funktion zum automatischen Speichern
Ich hatte schon Situationen, in denen ich meine Arbeit in Gedit verloren habe, weil ich die Änderungen nicht rechtzeitig speichern konnte. Wenn auch Sie ähnliche Situationen durchgemacht haben (oder befürchten, dass Sie eines Tages mit einer solchen konfrontiert werden könnten) und nach einer Lösung für dieses Problem suchen, werden Sie froh sein zu erfahren, dass es eine Möglichkeit gibt, die Funktion zum automatischen Speichern in Gedit zu aktivieren .
Führen Sie den folgenden Befehl aus, um die Funktion zu aktivieren:
gsettings set org.gnome.gedit.preferences.editor auto-save trueDas Standardintervall für die automatische Speicherung beträgt zehn Minuten. Sie können dies jedoch mit dem folgenden Befehl auf eine beliebige Anzahl von Minuten festlegen:
gsettings legt das automatische Speicherintervall von org.gnome.gedit.preferences.editor fest [n]Ersetzen "[n]" mit der Anzahl der Minuten, die Sie festlegen möchten. Ich habe beispielsweise das automatische Speicherintervall mit dem folgenden Befehl auf eine Minute festgelegt:
gsettings legen org.gnome.gedit.preferences.editor auto-save-interval 1 festWenn die Kommandozeile nicht Ihr Ding ist, können Sie alle oben genannten Änderungen mit dem Dconf-Editor vornehmen. Wenn der Editor nicht auf Ihrem System installiert ist, können Sie ihn mit der Ubuntu Software Center-Anwendung installieren.
Sobald der Editor dort ist, können Sie ihn über Dash starten und zum Element „org.gnome.gedit.preferences.editor“ gehen. Hier können Sie die Funktion zum automatischen Speichern aktivieren und die Variable für das automatische Speicherintervall bearbeiten (indem Sie auf den Wert klicken).
Auf diese Weise können Sie Gedit aktivieren, um alle Änderungen, die Sie an Dateien vornehmen, die im Editor bearbeitet werden, automatisch zu speichern.
Abschluss
Die hier besprochenen Plugins sind einfach herunterzuladen und zu installieren sowie einfach zu verwenden. Die entsprechenden Projekte werden auf Github gehostet, sodass die Dokumentation kein Problem darstellt. Das Beste daran ist, dass keine Lernkurve erforderlich ist. Probieren Sie die Plugins (sowie den Trick zum automatischen Speichern) aus.
Schreibe einen Kommentar