※ ChatGPTを利用し、要約された質問です(原文:ununtu18.5のgeditのカスタマイズ)
Ubuntu 18.5でgeditのカスタマイズ方法とは?
このQ&Aのポイント
Ubuntu 18.05でgeditをインストールし、カスタマイズする方法について調べています。
参考サイトの方法では、[編集]メニューから[設定]を開くとありますが、実際には[編集]メニューが表示されない問題が発生しています。
geditのプラグインや初期スタイルの調査を進めるためには、他の方法を模索する必要があります。
ubuntu18.05でgeditをインストールして、下記のサイトを参考にして、geditのカスタマイズをしようとしています。
http://zorinos.seesaa.net/article/439044215.html
このサイトの”geditの設定”によれば、メニューバーの[編集] - [設定] をクリックしてウィンドウを開く。
とあるのですが、メニューバーには[編集]がありません。
またsudo apt-get install gedit-pluginsも実行しています。
geditにはubuntuやdebianなどのプラットホームよっていろんな初期スタイルがあるそうで、再現性は難しそうですが、なにか良い方法はないでしょうか。いろんなプラグインを調べたいのですが、前記の編集がなくうまく進みません。
ベストはwindowsの秀丸が使えると良いのですが、これまたインストールが手こずりそうです。(windowsのexeをlinuxで使えるようにする何とかのツールがありますが)
お礼
ご返事ありがとございます。 >提示の記事は古いバージョンの説明なので同じ動作にならなくても不思議ではありません。 おしゃる通りだと思います。このような点がlinux/ubuntuを使いこなすうえで苦労することになると思いました。 >Ubuntu 18.04の例では添付画像のように「テキストエディター」のプルダウンメニューに「設定」があります。 そうでした。投稿時試したのは端末からgeditで起動したので、違うのですね。一度開けたと思ったのは、GUIから起動していたのですか。こんな違いがあるとは!