Ubuntu 18.04 の Geany (軽量 IDE) を最新バージョンにアップグレードする

Ubuntu 18.04 の Geany を、バージョン 1.32 から現時点での最新バージョンである 1.33 にアップグレードできるようにしてみました。こちらの ppa からのバックポートです。ついでに日本語訳を若干追加しています。

https://launchpad.net/~sicklylife/+archive/ubuntu/ppa

目次

GUI で Geany をアップグレードする

まず以下の deb ファイルをダウンロードし、ダブルクリックでインストールして ppa を追加します。

https://sicklylife.jp/ubuntu/1804/ppa-sicklylife-ppa_0.0.7-0+sicklylife~ppa1_all.debソース

次にアクティビティ画面からソフトウェアの更新を起動して Geany をアップグレードします。

コマンドで Geany をアップグレードする

アクティビティ画面から端末を起動して以下を実行します。

sudo add-apt-repository -y -n ppa:sicklylife/ppa 
sudo apt update 
sudo apt upgrade 

スクロールバーの表示が乱れるバグについて

Ubuntu 18.04 には Geany のスクロールバーの表示が乱れるバグがあります。どうも標準テーマのバグらしく、テーマを変更するとスクロールバーは正常に表示されるようになります。ちなみに私のお勧めテーマは communitheme です

URL: https://snapcraft.io/communitheme
テーマの適用方法: https://linuxconfig.org/how-to-install-communitheme-on-ubuntu-18-04-bionic-beaver-linux