Ridimensionare la partizione di avvio è un po 'complicato, perché non puoi farlo mentre ci si avvia da esso.
Se vuoi evitare di sporcarti le mani in Terminal, il vecchio modo di farlo era iPartition , ma sta diventando un po 'vecchio in questi giorni e amp; non può gestire unità di archiviazione core. Il nuovo capretto sul blocco sembra essere Paragon Hard Disk Manager , che ho ma non ho ancora usato per questo particolare compito. È anche in grado di spostare le partizioni Boot Camp in giro, se mai ne hai bisogno.
Per entrambi, è necessario essere avviati da un altro dispositivo. iPartition creava i CD di avvio, iirc, ma Paragon può creare chiavi USB di avvio; che ho usato con successo.
Una volta che hai due potenziali partizioni di avvio, l'eliminazione di entrambe è solo l'opposto dell'attività iniziale, & essendo un SSD, la posizione effettiva dei dati non è importante, a differenza di un disco rotante.
Forse aspettate un giorno o due per vedere se qualcuno presenta il metodo alternativo di Terminal - che ovviamente è gratuito - o date a Paragon un test drive; Penso che la loro demo sia completamente funzionale [anche se non ho provato la demo, sono andato dritto per la versione completa]