TIP: Click on subject to list as thread! ANSI
echo: rberrypi
to: CHRIS ELVIDGE
from: MARTIN GREGORIE
date: 2020-12-06 21:42:00
subject: Re: Which dotfiles are wo

On Sun, 06 Dec 2020 21:00:33 +0000, Chris Elvidge wrote:

> But it doesn't do any good, either.
>
This idea originally came from you!

In fact, it seems that the boot partition is mounted on /boot as part of
the boot process, so on thinking about it, the only effect of it having
content *should* be that the files in it occupy space in the filesystem
partition but are inacessable while Raspbian is running. Consequently
they would be better removed so that other, more useful files can occupy
that space.

Note that, if the entire filesystem is backed up using tar, rsync or zip
pointed at '/' while Raspbian is running from that SD card, then the
backed up archive *will* correctly show that /boot contains the entire
content of the boot partition. IOW, cleaning out /boot after restoring an
offline SD card from the archive will at worst do no harm and at best
will release some tens of MB of filespace.

I've always assumed that is why you said that /boot should be emptied
when moving the two partitions to a bigger card. Doing so makes sense, is
fast and easy to do, so why not do it?


--
--
Martin    | martin at
Gregorie  | gregorie dot org

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | FidoUsenet Gateway (3:770/3)

SOURCE: echomail via QWK@docsplace.org

Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.