Wie benutzt man das Commander Plugin in gedit?

8

Dieses Plugin ist im gedit-pluginsPaket erhältlich. Außer dem Namen und der Kurzbeschreibung gibt es keine weiteren hilfreichen Informationen zur Verwendung des Plugins.

Weiß jemand, wie man dieses Plugin benutzt?

gedit Feuerstein
quelle

Antworten:

8

Aktivieren Sie das Commander-Plugin von Edit -> Preferences ->Plugins Tab, überprüfen Sie dort das Commander-Plugin.

Klicken Edit -> Commander ModeSie nun auf und Sie sehen unten eine Eingabeaufforderung.

bearbeiten

Speisekarte

Kommandant

Hier ist ein Auszug aus der Commander-Plugin-Seite zu Gnome Libraries :

  • Eine Übersicht der verfügbaren Befehle anzeigen - Tab + Tab
  • Suchen Sie ein Wort in der aktuellen Datei - / foo- Hiermit wird das Wort foo gefunden.
  • Ersetzen Sie ein Wort in der aktuellen Datei - // foo bar- Dies ersetzt foo durch bar.
  • Bewegen Sie den Cursor auf eine bestimmte Zeilennummer in Ihrer Datei - go [line number]oder einfach nurg [line number]
  • Schalten Sie die Lesezeichenanzeige für die aktuelle Zeile um - bookmarkoder einfachb
Nitin Venkatesh
quelle
3

Ich habe diesen Artikel über gedit-commanderauf der GNOME-Website gefunden. es sollte wirklich hilfreich sein. Das Git-Hub- Home des Projekts enthält auch weitere Informationen.

Amol Verkauf
quelle
0

Es sieht so aus, als wäre die Commander-Plugin-Seite jetzt nicht mehr verfügbar, aber Sie können weiterhin über das gedit-Menü auf den Hilfetext zugreifen, zumindest in Version 3.4.1: Hilfe -> Inhalt -> gedit-Plugins konfigurieren und verwenden -> Zusätzliche gedit-Plugins / Commander .

mwfearnley
quelle
Ok, als ich das überprüft habe, war ich am 12.04LTS. Leider und nicht allzu überraschend ist es seit 14.04 von gedit verschwunden (das gedit 3.10.4 verwendet). Wenn ich das nächste Mal am 12.04 bin, werde ich versuchen, mich daran zu erinnern, den Hilfetext zu lesen, obwohl ich denke, dass Nitins Antwort wahrscheinlich den größten Teil davon abdeckt.
mwfearnley