On Thu, Apr 10, 2025 at 12:08:31AM -0500, David C Rankin wrote: > > I've checked the various devtools man pages and --help and there is > nothing about rebuilding, so does this mean I need to: > > # rm -rf $CHROOT > > and start over? Or, is there actually a way to "rebuild" the chroot without > wiping it all out and starting over? > I didn't do any deep diving. Just did the `rm` and rebuilt. No issues.
Merell -- The idle man does not know what it is to enjoy rest.
