Web lists-archives.com

making more room in root partition for distribution upgrade




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.