Bagaimana cara memasukkan karakter tab di gedit jika penggantian dengan spasi diatur?

12

Beberapa program memerlukan karakter tab untuk berfungsi, misalnya makemembutuhkan tab dalam Makefiles. Jika geditdikonfigurasi untuk mengganti tab dengan spasi, menyakitkan untuk mengubah pengaturan setiap kali atau menyalin karakter dari dokumen lain.

Saya menggunakan 3.10.4 di Ubuntu 15.04.

Karl Richter
sumber

Jawaban:

4

Instal plugin untuk gedit

  1. Kloning repositori 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. Buat folder plugin untuk gedit

    mkdir -p ~/.local/share/gedit/plugins
    
  3. Buat tautan simbolis

    ln -s ~/src/makefiletab3 ~/.local/share/gedit/plugins/makefiletab3
    
  4. Ubah versi Python di makefiletab3.plugin

    Buka file

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

    dan ganti

    Loader=python
    

    dengan

    Loader=python3
    
  5. Mulai ulang gedit dan aktifkan plugin

    masukkan deskripsi gambar di sini

AB
sumber
Tautan git repo sudah basi. Saya mendapatkan kesalahan saat mencoba mengkloningnya.
Nick
Saya menggunakan ini github.com/polazarus/gedit-makefiletab.git , tetapi gedit tidak mendeteksi plugin.
Nick
11

Anda dapat menyisipkan Tabkarakter literal di gedit dengan menggunakan mode input GNOME Unicode:

Ctrl+ Shift+U

dan kemudian masukkan 9diikuti oleh Enter. Karakter tab horizontal adalah titik kode Unicode U+0009. Ini akan menyisipkan tab terlepas dari preferensi Anda untuk memperluas tab atau tidak.

Mike Miller
sumber
6

Anda dapat membuat pintasan untuk mengubah pengaturan ini dengan cepat:

gsettings set org.gnome.gedit.preferences.editor insert-spaces false
matandked
sumber
1
Ide bagus. Saya akan menghapus petunjuk bahwa mungkin untuk menggunakan program lain karena orang mungkin melihat alasan untuk tidak mengungguli karena judulnya menunjukkan bahwa pertanyaannya adalah tentang gedit.
Karl Richter