最近、アップデートの際にうまくサーバとつながらないことが多い。 そこで apt の sources.list を書き変えて別のミラーサイトにつなぐことにした。 今回は Ring Server (産業技術総合研究所)とつないだ。http(URL) は下のとおり。 http://aist.ring.gr.jp/p…