MacでのLinuxデュアルブートの削除

rEFIndでLinuxデュアルブートがインストールされていますが、これを削除します。

ディスクパーティションを削除しようとしましたが、エラーがスローされます。

MediaKit reports partition (map) too small. If you recently grew your whole-disk, you should run whole-disk repair.

応急処置はエラーなしで完了します。

この別の投稿から、Linuxデュアルブートでqpartedを実行してディスクパーティションを修正するのが最善の選択肢だと考えました。

しかし、10.13.4アップデートをインストールした後、私のMacは最新のOS Xで自動起動し、デュアルブートを無効にすることにしました。Linuxにログインすることさえできません。

実行diskutil listすると、次の結果が得られます。

/dev/disk0 (internal, physical):
   #:                       TYPE NAME                    SIZE       IDENTIFIER
   0:      GUID_partition_scheme                        *251.0 GB   disk0
   1:                        EFI EFI                     209.7 MB   disk0s1
   2:                 Apple_APFS Container disk1         210.0 GB   disk0s2
   3:                  Apple_HFS Recovery HD             650.0 MB   disk0s3
   4:           Linux Filesystem                         40.0 GB    disk0s4
   5:                 Linux Swap                         133.2 MB   disk0s5

/dev/disk1 (synthesized):
   #:                       TYPE NAME                    SIZE       IDENTIFIER
   0:      APFS Container Scheme -                      +210.0 GB   disk1
                                 Physical Store disk0s2
   1:                APFS Volume Macintosh HD            193.4 GB   disk1s1
   2:                APFS Volume Preboot                 21.9 MB    disk1s2
   3:                APFS Volume Recovery                517.9 MB   disk1s3
   4:                APFS Volume VM                      1.1 GB     disk1s4

/dev/disk2 (disk image):
   #:                       TYPE NAME                    SIZE       IDENTIFIER
   0:      GUID_partition_scheme                        +2.0 TB     disk2
   1:                        EFI EFI                     209.7 MB   disk2s1
   2:                  Apple_HFS Time Machine Backups    2.0 TB     disk2s2

以前にこの問題があり、解決策はブートローダーの優先度を変更することでしたが、その方法を忘れていました...

rEFIndのドキュメントを見て、指示に従っています：

$ sudo mountesp
- The ESP has been identified as /dev/disk0s1; attempting to mount it....
- The ESP is mounted at /Volumes/ESP

$ sudo mount -t msdos /dev/disk0s1 /Volumes/ESP
- mount: realpath /Volumes/ESP: No such file or directory

これは奇妙です。なぜならmountesp、そのディレクトリが存在することを教えてくれたからです...