※2018年7月24日、コマンドを変更 (ppaが正常に利用可能になったので)。ShutterというLinux用のスクリーンショット撮影/編集アプリがあるのだが、Ubuntu 18.04ではツールバーの編集ボタンがグレーアウトしていて使えなくなっている。これは編集機能に必要なラ…