Ubuntu のソフトウェアの更新 (Software Updater) でまれにリポジトリ情報のダウンロードに失敗しました。というエラーメッセージに遭遇する場合がある。その場合、端末を起動して sudo apt update というコマンドを実行すると詳細が分かるのだが、PPA 名の…