仕事環境のMac miniのOSを年末からバージョンアップしている。会社にある方は、新規にMac miniを購入したので、それほど手間をかけずに乗り換えが完了した。自宅の方は、ちょっとてこずった。 外付け起動にてこずった やりたかったのは、旧OS（macOS 10.14）…