次の this ガイドに従って、geditのパッケージ「インテリジェントテキスト補完3.8」をインストールしようとしています。
問題は、[編集]-> [設定]-> [プラグイン]に[インテリジェントテキスト補完]ボックスが見つからなかったことです。この問題をどのようにして克服できるか教えていただけますか?
編集:gedit-pluginsをインストールした後、使用可能なオプションは次のとおりです。
編集2:コマンドls -lR〜/ .local/share/gedit(ls -alR〜/ .local/share/geditの理想)を試してみましたが、ターミナルに「そのようなファイルまたはディレクトリはありません」というメッセージが表示されます。奇妙なのは、.gnomeフォルダーにgeditフォルダーとpluginsフォルダーを手動で作成したことです(下図を参照)。
前もって感謝します。
私は19.10に試してみましたが、gedit 3.34.0とhttps://github.com/nymanjens/gedit-intelligent-text-completion/releases/download/v2.4/intelligent-text-completion-gedit3-8-v2.5.tar.gz
で動作します。
重要な点は、最初にgedit-plugins
を使用して19.10リポジトリからSudo apt install gedit-plugins
をインストールする必要があることです。
その後、 your link の指示に従います。
このプラグインは、Kubuntu 19.10、Ubuntu MATE 19.10およびXubuntu 19.10で実行されているgeditでも動作します。