17 Apr
2025
17 Apr
'25
2:08 p.m.
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.