Come inserire un carattere di tabulazione in gedit se è impostata la sostituzione con spazi?

12

Alcuni programmi richiedono il funzionamento dei caratteri di tabulazione, ad es. Le makeschede in Makefiles. Se geditè configurato per sostituire le schede con spazi, è doloroso modificare le impostazioni ogni volta o copiare un personaggio da un altro documento.

Sto usando 3.10.4 su Ubuntu 15.04.

gedit

— Karl Richter
fonte

4

Installa un plugin per gedit

Clona il 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

Crea la cartella dei plugin per gedit
```
mkdir -p ~/.local/share/gedit/plugins
```

Crea un collegamento simbolico

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

Cambia la versione di Python in makefiletab3.plugin

Apri il file

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

e sostituisci

Loader=python

con

Loader=python3

Riavvia gedit e attiva il plugin

— AB
fonte

Il link repository git è obsoleto. Viene visualizzato un errore quando ho provato a clonarlo.

— Nick,

Ho usato questo github.com/polazarus/gedit-makefiletab.git , ma gedit non rileva il plug-in.

— Nick,

Funzionava

— Nick,

11

Puoi inserire un Tabcarattere letterale in gedit usando la modalità di input Unicode GNOME:

Ctrl+ Shift+U

e poi inserisci 9seguito da Enter. Il carattere di tabulazione orizzontale è il punto di codice Unicode U+0009. Ciò inserirà una scheda indipendentemente dalle preferenze dell'utente per espandere o meno le schede.

— Mike Miller
fonte

6

È possibile creare collegamenti per modificare rapidamente questa impostazione:

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

— matandked
fonte

1

Buona idea. Vorrei rimuovere il suggerimento che è possibile utilizzare un altro programma perché le persone potrebbero vedere un motivo per non votare perché il titolo indica che la domanda riguardagedit .

— Karl Richter,