次は Manjaro Linux にしようと思って会社でインストールメディアを焼いてきた。CentOS 7 でも良かったけど、取り敢えずこれにする。