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 ?
