* Rick Thomas <rick.tho...@pobox.com> [20-05/09=Sa 20:05 -0700]:
> [...] died for lack of space in /boot [...]
Long ago I stopped bothering with a separate /boot, and behold, I yet
live. ISTR the Debian installer doesn't default to creating one either.
If you really want a bastion filesystem for booting, I suggest it be /
(say 8G), because that'll also give you /bin, /lib, /etc, etc, without
which you can't troubleshoot system horkage anyway. Then you can
put /home and /usr on the beta release of FunkyFS and have fun. I'd
also put /tmp on the same partition as /home, because when I want to
rm $junk I typically do it with mv -t/tmp $junk for safety, which on
the same filesystem just edits directory entries, but on a different
one actually copies $junk, meh. Make sure your bastion filesystem has
enough room for /var/spool; shouldn't be a problem unless you're one
of those people who likes 30G mailboxes, or are running a news server.
Stay safe, back up your files, and wash your hands.
> rbthomas@milli:~$ lsblk
> NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT
> sda 8:0 0 111.8G 0 disk
> +-sda1 8:1 0 512M 0 part /boot/efi
> +-sda2 8:2 0 244M 0 part /boot
> +-sda3 8:3 0 111.1G 0 part
> +-debian--vg-root 253:0 0 28G 0 lvm /
> +-debian--vg-swap_1 253:1 0 7.9G 0 lvm [SWAP]
> +-debian--vg-home 253:2 0 75.2G 0 lvm /home
> sdb 8:16 1 239G 0 disk
> +-sdb1 8:17 1 239G 0 part /media/rbthomas/Spare
> mmcblk0 179:0 0 238.3G 0 disk
> +-mmcblk0p1 179:1 0 238.3G 0 part /media/rbthomas/Downloads
> rbthomas@milli:~$
>
> rbthomas@milli:~$ df -HTP | grep -v tmpfs
> Filesystem Type Size Used Avail Use% Mounted on
> /dev/mapper/debian--vg-root ext4 30G 9.9G 19G 36% /
> /dev/sda2 ext2 248M 78M 158M 34% /boot
> /dev/sda1 vfat 536M 144k 536M 1% /boot/efi
> /dev/mapper/debian--vg-home ext4 79G 4.4G 71G 6% /home
> /dev/sdb1 ext4 252G 63M 239G 1% /media/rbthomas/Spare
> /dev/mmcblk0p1 ext4 251G 63M 238G 1%
> /media/rbthomas/Downloads
> rbthomas@milli:~$
>
> What's the best way to increase the size of /boot?
By creating a reliable backup and reformatting the disk to
the new format. I've never found it to be cost-effective
to try anything else. I don't even upgrade to new releases
anymore; I just nuke everything and do a fresh install.
> I can easily create a gig or so of space by a shrink/resize
> of /home, but how do I add that space to /dev/sda2?
>
> I can't just move up the end of /dev/sda2 = start of
> /dev/sda3 without backing up and restoring, can I?
>
> Any suggestions would be appreciated.
Consider the time you've spent posing this question, waiting for the
answers, and reading them. Dump and reload might've finished already.
--
Will Mengarini <sel...@eskimo.com>
Free software: the Source will be with you, always.
This will be a memorable month -- no matter how hard you try to forget it.
--Unix fortune cookie
