Diary/2023-1-13

source.list

久しぶりにパッケージ更新しようと思ったサーバーで，
なんかapt updateやapt upgradeが遅いなと思ったら，
jp.archive.ubuntu.comに向いてた．

$ sed -e "s/jp.archive.ubuntu.com/ftp.jaist.ac.jp\/pub\/Linux/g" \
 /etc/apt/sources.list > ~/sources.list
$ sudo cp /etc/apt/sources.list /etc/apt/sources.list.jp.archive
$ sudo mv ~/sources.list /etc/apt/sources.list

とかした．