サードパーティのプラグインのインストール方法
柴田 充也
mty.shibata@gmail.com 2008
Kusano Takayuki
https://bsky.app/profile/tkusano.jp 2010, 2025
Carrot031
www.carrotsoft@gmail.com 2022
Tomo Dote
fu7mu4@gmail.com 2021

# 追加のgeditプラグイン

サードパーティのプラグインをインストールすると、デフォルトのgeditプラグインや、gedit-pluginsパッケージに含まれている追加のプラグインでは利用できない特別な機能が使えるようになります。サードパーティプラグインのオンラインの一覧はここにあります。

サードパーティプラグインをインストールするには、プラグインをダウンロードし、プラグインのファイルを正しいディレクトリに置き、プラグインをアクティベートするという手順を実行します。

普通はプラグインをプラグインのウェブサイトからダウンロードできますが、git、bazaar、あるいはsubversinoといったリビジョンコントロールプログラムを使って、プラグインのリポジトリをインターネットからコピーする必要があるかもしれません。プラグインの入手方法は、プラグインのドキュメントを参照してください。

プラグインのファイルをディレクトリ /home/username/.local/share/gedit/pluginsへ置いてください。

もちろん、username の部分は自分のユーザー名に読み替えてください。

プラグインのファイルを正しいディレクトリーへ置くと、プラグインは設定メニューに出現します。ウインドウの右上隅のメニューボタンを押し、 設定プラグイン[プラグインの名前] を選んでプラグインを有効化してください。

プラグインを有効化すると、利用可能になるでしょう。

.local ディレクトリはデフォルトでは見えません。そのようなディレクトリや、他の隠しファイルを表示するには、ファイルマネージャーで表示オプション隠しファイルを表示を通常は選ばなくてはなりません。

ディレクトリ .local/share/gedit/plugins/ が存在しない場合、作成しないとなりません。