これまでdist-upgradeを4回ほどやったことがある．成功したのは1回だけ．のこりはマシンが起動不能に陥った．かなり危険だ．よほどのことがない限り，クリーンインストールした方が良い．