Wie gebe ich in gedit ein Tabulatorzeichen ein, wenn das Ersetzen durch Leerzeichen eingerichtet ist?

Einige Programme erfordern Tabulatorzeichen, z. B. makeTabulatoren in Makefiles. Wenn geditTabulatoren durch Leerzeichen ersetzt werden sollen, ist es schmerzhaft, die Einstellungen jedes Mal zu ändern oder ein Zeichen aus einem anderen Dokument zu kopieren.

Ich benutze 3.10.4 unter Ubuntu 15.04.

Installieren Sie ein Plugin für gedit

1. Klonen Sie das Repository git://git.gitano.org.uk/personal/liw/makefiletab3.git

   mkdir -p ~/src
   cd src
   git clone git://git.gitano.org.uk/personal/liw/makefiletab3.git
   

2. Erstellen Sie den Plugin-Ordner für gedit

   mkdir -p ~/.local/share/gedit/plugins
   

3. Erstellen Sie eine symbolische Verknüpfung

   ln -s ~/src/makefiletab3 ~/.local/share/gedit/plugins/makefiletab3
   

4. Ändern Sie die Python-Version in makefiletab3.plugin

   Öffne die Datei

   nano ~/.local/share/gedit/plugins/makefiletab3/makefiletab3.plugin
   

   und ersetzen

   Loader=python
   

   mit

   Loader=python3
   

5. Starten Sie gedit neu und aktivieren Sie das Plugin

   

Sie können ein Literal Tabin gedit einfügen, indem Sie den GNOME Unicode-Eingabemodus verwenden:

Ctrl+ Shift+U

und dann eintreten, 9gefolgt von Enter. Das horizontale Tabulatorzeichen ist der Unicode-Codepunkt U+0009. Dadurch wird unabhängig von Ihren Einstellungen ein Tab eingefügt, um Tabs zu erweitern, oder nicht.

Sie können Verknüpfungen erstellen, um diese Einstellung schnell zu ändern:

gsettings set org.gnome.gedit.preferences.editor insert-spaces false