On Sun 06 Dec 2020 at 07:20:38 (-0800), pe...@easthope.ca wrote: > From: David Wright <deb...@lionunicorn.co.uk> > Date: Fri, 4 Dec 2020 15:12:16 -0600 > > With such a small disk, I'd try modifying that suggestion: dispense > > with /home, but only during the installation, making partition 3 the > > one used for the iso ( and marked "do not use"): > > > > Part 1 labeled ROOT. 7 GB. Format ext4. > > Part 2 labeled SWAP. 1 GB. Format swap or linux-swap. > > Part 3 labeled HOME. 4 GB. Format ext4. (The LABEL doesn't affect > > things.) > > > > When the installation has completed, you can now, as root, > > > > . mount Part 3 as /mnt > > . clear any installation files off it > > . cp -a /home/<sysadmin> /mnt/ (which should be user 1000's ~, > > containing just the files that were copied from /etc/skel) > > . edit /etc/fstab to mount LABEL=HOME on /home > > . umount /mnt/ > > . mount -a (to mount /home) > > . login ordinarily, as sysadmin. > > > > That increases your space on /home by 14%. > > That's similar to the proceedure described in this message. > https://lists.debian.org/debian-user/2020/12/msg00197.html
Yes, that's because I based the partitioning on your own https://lists.debian.org/debian-user/2020/12/msg00045.html to which I was going to thread it until David's comment came in. But I posted my reply merely to place this method (using future /home) on record. You'd rather modify the partition table instead, which I've always avoided. Your new partition layout is not one I'd personally use, but then, I don't know what your first two (unused) partitions are going to be used for. (I presume they're not reserved for BIOS Boot and ESP, like the two I always put on my GPT disks.) I haven't created an extended partition since 1997, and eliminated those I'd created or inherited by 1999. Cheers, David.
