2018-02-12Arch

pacmanのミラーリストは、適時アップデートされているが、面倒なので、放置していた。
/etc/pacman.confで設定されているが、直接設定してもよいが、すべて変える必要があるので、Includeされている、/etc/ ...