別の構成でgeditを実行するにはどうすればよいですか


回答:


5

現時点ではサポートされていないようです。こちらのアップストリームバグレポートをご覧ください。

ただし、gconftool-2を介して必要な特定のプラグインを設定するgeditのラッパーを作成することもできます。

これは次のようになります。

#!/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"

これを例えばどこかに保存します。gedit_profileを実行可能にします。

chmod +x  gedit_profile

異なるプロファイルをロードするには、有効にするプラグインのコンマ区切りのリストを指定して呼び出します。次に例を示します。

/path/to/gedit_profile "terminal,colorpicker"

[もちろん、これを別々のランチャーに入れることができます。]


これは私のニーズによりよく機能します:#!/ bin / bash normalConfig = gconftool-2 -g "/ apps / gedit-2 / plugins / active-plugins" 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

ええ、それは高度なバージョンです(したがって、私の回答の「何か」の部分:P)。
2010

gconfを介した値の設定は他のオプションでも機能します(例:配色)...新しい設定はすぐに有効になるため、いくつかのExternal Toolsメニュー項目(オプションのショートカットキーを使用)を追加するだけでうまくいく場合があります(外部ツールは標準プラグインです)。 ..異なる色設定のgeditの2つのインスタンスのアイデアが好きだったので、これに興味がありましたが、geditが並行インスタンスを許可するとは思わない:(
Peter.O
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.