Redimensionar a partição de inicialização é um pouco complicado - porque você não pode fazê-lo enquanto é inicializado a partir dele.
Se você quiser evitar sujar as mãos no Terminal, a maneira antiga de fazer isso costumava ser iPartição , mas está ficando um pouco velho nos dias de hoje & amp; Não é possível lidar com as unidades do Core Storage. O novo garoto no bloco parece ser Paragon Hard Disk Manager , que eu ainda não usei para essa tarefa em particular. Também é capaz de mover as partições do Boot Camp, caso você precise disso.
Para tanto, você precisa ser inicializado de outro dispositivo. iPartition faria CDs de inicialização, iirc, mas Paragon pode fazer chaves USB de inicialização; que eu usei com sucesso.
Depois de ter duas possíveis partições de inicialização, a exclusão é apenas um reverso da sua tarefa inicial, & amp; Sendo um SSD, a localização real dos dados não é importante, ao contrário de um disco giratório.
Talvez espere um dia ou dois para ver se alguém usa o método alternativo do Terminal - que é claro - ou dê um test drive à Paragon; Eu acho que sua demo é totalmente funcional [embora eu não tenha testado a demo, fui direto para a versão completa]