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.
~# fdisk -l Disk /dev/sda: 149.1 GiB, 160041885696 bytes, 312581808 sectors Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x0007c9ed 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 # /etc/fstab: static file system information. # # Use 'blkid' to print the universally unique identifier for a # device; this may be used with UUID= as a more robust way to name devices # that works even if disks are added and removed. See fstab(5). # # <file system> <mount point> <type> <options> <dump> <pass> proc /proc proc defaults 0 0 # / was on /dev/sda1 during installation UUID=f2959403-fb9c-4e56-adbf-e5b7c1f63dd8 / ext3 errors=remount-ro 0 1 # /home was on /dev/sda6 during installation UUID=274b606c-c556-47cb-8db3-2733b7adac3f /home ext3 defaults 0 2 # swap was on /dev/sda5 during installation UUID=5642269c-ada4-4466-a516-4a2360ee0ec1 none swap sw 0 0 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). or 2. Carve out a new partition for /usr at end of disk which will free up over 6 gb. What have other people done? Thanks.
