Bagaimana saya bisa menjalankan gedit dengan konfigurasi yang berbeda

Tampaknya tidak didukung saat ini, lihat laporan bug hulu ini .

Namun, Anda bisa membuat pembungkus untuk gedit, yang menetapkan plugin spesifik yang Anda inginkan melalui gconftool-2.

Ini akan terlihat seperti:

#!/bin/bash
old_config=$(gconftool-2 --get "/apps/gedit-2/plugins/active-plugins")
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "[$1]"
gedit
gconftool-2 --set --type list --list-type string "/apps/gedit-2/plugins/active-plugins" "$old_config"

Sekarang simpan ini di suatu tempat sebagai contoh. gedit_profile dan membuatnya dapat dieksekusi:

chmod +x  gedit_profile

Untuk memuat profil yang berbeda, sebut saja dengan daftar plugin yang dipisahkan koma yang ingin Anda aktifkan, misalnya:

/path/to/gedit_profile "terminal,colorpicker"

[Tentu saja Anda kemudian dapat menempatkan ini ke peluncur terpisah.]

htorque
sumber

Ini berfungsi lebih baik untuk kebutuhan saya: #! / Bin / bash normalConfig = gconftool-2 -g "/ apps / gedit-2 / plugins / plugin aktif" gconftool-2 -s --type list --list-type string " / apps / gedit-2 / plugins / active-plugins "" [$ 1] "gedit gconftool-2 -s --type list --list-type string" / apps / gedit-2 / plugins / active-plugins "" [ $ normalConfig] "

MetaDark

Ya, itu versi lanjutan (maka bagian "sesuatu seperti" dalam jawaban saya: P).

htorque

Pengaturan nilai melalui gconf juga berfungsi untuk opsi lain (mis. Skema warna) ... Karena pengaturan baru langsung efektif, hanya menambahkan beberapa External Toolsitem menu (dengan tombol pintas opsional) mungkin cocok (Alat Eksternal adalah plugin standar). .. Saya tertarik dengan ini karena saya suka ide dua contoh gedit dengan pengaturan warna yang berbeda, tapi saya tidak berpikir bahwa gedit memungkinkan instance concurrernt :(

Peter.O

Bagaimana saya bisa menjalankan gedit dengan konfigurasi yang berbeda

Jawaban: