Le 18/05/2018 à 02:05, Mark Copper a écrit :
There was a day when a 10 gb partition seemed like plenty of space to leave for the system but now it's not. An upgrade to Stretch appears to need more.
How do you know ?
Device Boot Start End Sectors Size Id Type /dev/sda1 * 2048 19531775 19529728 9.3G 83 Linux /dev/sda2 19533822 312580095 293046274 139.8G 5 Extended /dev/sda5 19533824 27578367 8044544 3.9G 82 Linux swap / Solaris /dev/sda6 27580416 312580095 284999680 135.9G 83 Linux $ cat /etc/fstab # / was on /dev/sda1 during installation # /home was on /dev/sda6 during installation # swap was on /dev/sda5 during installation
This must be a FAQ. But there appear to be two ways forward. 1. Back-up /home, enlarge / partition, copy back-up back to new, smaller /home partition (because /home will then start on a different cylinder so data will be lost).
You will have to move/delete and re-create the swap too.Gparted allows to resize and move an unused partition. Better have a backup though.
2. Carve out a new partition for /usr at end of disk which will free up over 6 gb.
The Debian initramfs supports a separate /usr since Jessie.
$ du -h /var ... 598M /var but $ du -h /usr ... 4.2G /usr/share 6.5G /usr
What about the rest ? How much free space is available ?Maybe the upgrade requires more space in order to download and store the new packages. Have you considered moving /var/cache/apt/archives to the /home partition (through a symlink or bind mount) so that downloaded packages do not use space in the / filesystem ?