Linux aptsources.listUbuntu apt のリポジトリを変更する [Ubuntu] apt が非常に重かったので、リポジトリをミラーサーバに変更した時の記録。... 2018-05-20 管理人