Ubuntuのレポジトリサーバを日本国内のに変更
WSL
の初期設定だと、
Ubuntu
の
repository server
が海外serverなので、日本国内のserverに変更する
sudo apt update
がかなり早くなる
元ファイルは
sources.list.bak
という名前にして保持する
code:change_repository.sh
sudo sed -i.bak -e "s/http:\/\/archive\.ubuntu\.com/http:\/\/jp\.archive\.ubuntu\.com/g" /etc/apt/sources.list
from
WSL(ubuntu18.04)の初期設定 - Qiita
#2021-10-08
15:23:10 短くした
#2021-10-01
12:54:24 $をとった
#2020-07-23
14:56:03