Bonjour
Non, je ne joue pas, je teste ce que je propose,
et j'ai déjà testé plusieurs fois ce que j'ai proposé dans mon message #6
=======
… S'il n'y a pas place dans /boot, il suffit de :
- supprimer les vieux noyaux à coup de rm.
…
Plutôt que de supprimer les noyaux pour faire de la place,
rends
vide de données les fichiers dont tu voudrais récupérer l'espace occupé
en faisant, par exemple, pour le fichier
initrd.img-5.4.0-62-generic:
sudo sh -c '> /boot/initrd.img-5.4.0-62-generic'
ce qui permettra au programme de mise à jour
de trouver tous les fichiers qu'il voudrait supprimer.
Mais fais quand même très attention : il ne faudra pas supprimer (ou
vider) les fichiers utilisés actuellement pour démarrer le système.
(En espérant que 193 Mo suffisent pour contenir la mise à jour à faire).
=======
…booter sur un système live et agrandir le /boot à 1Go. …
J'espère que tu as de la place à côté de la partition
/dev/sda1 pour pouvoir l'agrandir.
(voir avec fdisk ou sfdisk ou sgdisk ou parted ou ce qui t'ira bien)
Sinon, il te faudra réduire la taille de la partition
/dev/sda2 à environ 75GB
pour ensuite, pouvoir la déplacer afin de laisser un espace libre contigu à
/dev/sda1 que tu veux pouvoir lui ajouter
puis, une fois le déplacement de
/dev/sda2 effectué tu pourras l'agrandir pour qu'elle occupe l'espace libre situé juste après.
Ensuite, tu pourras agrandir la partition
/dev/sda1 de l'espace contigu libéré par le déplacement de
/dev/sda2
Mais le déplacement de la partition
/dev/sda2 va prendre un peu de temps, vu qu'il va y avoir environ 75GB (ou plus) à déplacer
et s'il s'agit d'un portable, fait ça avec une batterie chargée + alimentation secteur connectée.
