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

とかした．