> But maybe without the leading '*', since they
> aren't kernel parameters.
Probably right, although it's never been clear to me why some things
have '*' and some don't. For example etherN=XXXXX is used only by
the kernel, but it still gets passed in the normal '#e' environment
to processes.
On further thought, what about generalising a bit more: plan9.ini(8)
already has
factotumopts=options
Causes boot(8) to start factotum with the given options,
If we allowed XXXXopts=options, where XXXX is the name of any command
in /boot, my earlier suggestion would be just a particular case of this
with
fossilopts=-m NN
ventiopts=-m NN
Is this a simplification or a complication?
I'd actually prefer 'fossil-opts=-M NN' , but we already have the
precedent of factotumopts.