Il giorno 27 giugno 2017 09:45, Michele Bert <micbert75@xxxxxxxxx> ha
scritto:
ho fatto un
aggiornamento di sistema, che è fallito perché la partizione di boot
era troppo piccola (50MB di cui più di metà già occupati).
Io ho proceduto così (da root):
- copiato la /boot in un posto diverso
$ cp -R /boot /root/boot
- smontato la /boot
$ umount /boot
- creato un collegamento simbolico alla copia appena fatta
$ ln -s /root/boot /boot
- effettuato l'aggiornamento
$ apt-get dist-upgrade
- ricreata la directory /boot e montata la partizione
$ rm /boot && mkdir /boot && mount /boot
- copiato il contenuto (ora aggiornato) della partizione di boot
$ cp -R /root/boot/* /boot/
Per curiosità, voi come avreste fatto?
Aggiornamento. Il comando da terminale