Commanderプラグインをgeditでどのように使用しますか？

このプラグインはgedit-pluginsパッケージから入手できます。その名前と簡単な説明以外に、プラグインの使用に関する他の役立つ情報はありません。

このプラグインの使い方を知っている人はいますか？

から司令官プラグインをアクティブ化しEdit -> Preferences ->Plugins Tab、そこで司令官プラグインを確認します。

クリックするEdit -> Commander Modeと、下部にコマンドプロンプトが表示されます。

Gnome LibrariesのCommanderプラグインページからの抜粋を次に示します。

• 利用可能なコマンドの概要を見る- Tab + Tab
• 現在のファイル内の単語を検索/ foo-- これは単語fooを検索します。
• 現在のファイル内の単語を置き換え- // foo bar- これは、バーでのfooに置き換えられます。
• カーソルをファイル内の特定の行番号に移動する- go [line number]または単にg [line number]
• 現在の行のブックマークインジケーターを切り替える- bookmarkまたは単にb

私が見つかりました。この記事についてのgedit-commanderGNOMEのウェブサイト上に、それは本当に役立つはずです。プロジェクトのgit-hubホームにも詳細情報が含まれています。

Commanderプラグインページはなくなったようですが、少なくともv3.4.1では、geditメニューからヘルプテキストに引き続きアクセスできます。Help- > Contents-> Configure and use gedit Plugins- > Additional gedit Plugins / Commander。