Câu trả lời:
Nó dường như không được hỗ trợ ngay bây giờ, xem báo cáo lỗi ngược dòng này .
Tuy nhiên, bạn có thể tạo một trình bao bọc cho gedit, thiết lập các plugin cụ thể mà bạn muốn thông qua gconftool-2.
Điều này sẽ trông giống như:
#!/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"
Bây giờ lưu cái này ở đâu đó như ví dụ. gedit_profile và làm cho nó có thể thực thi được:
chmod +x gedit_profile
Để tải các cấu hình khác nhau, chỉ cần gọi nó với danh sách các plugin được phân tách bằng dấu phẩy mà bạn muốn bật, ví dụ:
/path/to/gedit_profile "terminal,colorpicker"
[Tất nhiên sau đó bạn có thể đặt cái này vào các launcher riêng biệt.]
External Tools
mục menu (với các phím tắt tùy chọn) có thể phù hợp (Công cụ bên ngoài là một plugin tiêu chuẩn). .. Tôi đã quan tâm đến điều này bởi vì tôi thích ý tưởng về hai trường hợp của gedit với các cài đặt màu khác nhau, nhưng tôi không nghĩ rằng gedit cho phép các trường hợp đồng quy :(