Ubuntu 18.04 の Geany (軽量 IDE) を最新バージョンにアップグレードする
※2018年12月30日、更新。
Ubuntu 18.04 の Geany を、バージョン 1.32 から現時点での最新バージョンである 1.34 にアップグレードできるようにしてみました。
https://launchpad.net/~sicklylife/+archive/ubuntu/geany
目次
コマンドで Geany をアップグレードする
アクティビティ画面から端末を起動して以下を実行します。
sudo add-apt-repository -y -n ppa:sicklylife/geany sudo apt update sudo apt install geany geany-plugins
スクロールバーの表示が乱れるバグについて
Ubuntu 18.04 には Geany のスクロールバーの表示が乱れるバグがあります。どうも標準テーマのバグらしく、テーマを変更するとスクロールバーは正常に表示されるようになります。ちなみに私のお勧めテーマは communitheme です
URL: https://snapcraft.io/communitheme
テーマの適用方法: https://linuxconfig.org/how-to-install-communitheme-on-ubuntu-18-04-bionic-beaver-linux