mieki256's diary

Ubuntu には gedit というエディタが入ってるのだけど、どうやら gedit-gamte なるプラグインをインストールすると更に便利になるらしくて。

_gmate/gmate: Set of plugins and improvements to make Gedit a powerfull programmer text editor

しかし、Ubuntu 16.04 LTS上で試してみたところインストールできず。

sudo apt-add-repository ppa:ubuntu-on-rails/ppa
sudo apt-get update

「こんなリポジトリは使えねえよ！」と怒られる。

続けて以下を打ち込むも…。

sudo apt-get install gedit-gmate

「そんなパッケージはねえよ！」と怒られる。

もうメンテナンスされてないのかな。2015年版があるみたいだから、比較的最近までメンテナンスされてたように見えるんだけど。

とりあえず、そういう状態になったことをメモ。