Dopo aver ridimensionato la partizione Mac tramite la CLI da:
/dev/disk0
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *250.1 GB disk0
1: EFI 209.7 MB disk0s1
2: Apple_HFS Macintosh HD 249.2 GB disk0s2
3: Apple_Boot Recovery HD 650.0 MB disk0s3
a
/dev/disk0
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *250.1 GB disk0
1: EFI 209.7 MB disk0s1
2: Apple_HFS Macintosh HD 100.0 GB disk0s2
3: Apple_Boot Recovery HD 650.0 MB disk0s3
quindi eseguire il boot in rEFInd rescue, Disk Utility non può formattare lo spazio libero:
Partition Failed
partition failed with the error:
couldn't unmount disk.
Non è un grafico a torta ma più di una barra verticale. La partizione superiore è Mac e la partizione inferiore è gratuita .
Facendo clic sullo spazio libero e selezionando "format" si genera l'errore sopra riportato. (Ho provato alcuni formati diversi.)
Quando avvio un DVD Linux live, non prenderà semplicemente lo spazio libero e non potrà installarlo lì? Non è necessario formattare lo spazio libero per Linux da Mac Disk Utility, vero? Gparted avrebbe funzionato, almeno, immagino.
(Nel contesto di installazione di Lubuntu.)