仕事の検証で CentOS 8 を使ってみようと思ったが DVD ISO が 6.6 GB もあるのでダウンロードが面倒。CentOS 7 のように minimal ISO くらいあるだろうと思っていたらまだ公式ページには掲載されていない様子。 https://wiki.centos.org/Download 国内ミラー…