On Mon, Aug 31, 2026 at 02:42:20PM -0600, Theo de Raadt wrote:
> > This saves 98 bytes plain and 15 bytes after gzip.
> 
> Actually it might save a bit less because the file is installed onto
> the media with the SCRIPT directive in miniroot/list2sh.awk, which
> already does some whitespace cleanup.  I'm not a fan of what SCRIPT
> does, because one day it is going to make a conversion mistake.

After list2sh.awk SCRIPT my diff still saves 42 bytes plain and 16 bytes
after gzip.  Its actually one byte less!  :-D

ok?