From mboxrd@z Thu Jan  1 00:00:00 1970
Message-Id: <200301080802.h0882snd095308@ducky.net>
To: 9fans@cse.psu.edu
From: Mike Haertel <mike@ducky.net>
Subject: [9fans] buglet in 9load
Date: Wed,  8 Jan 2003 00:02:54 -0800
Topicbox-Message-UUID: 3c3cdfba-eacb-11e9-9e20-41e7f4b1d025

I just accidently created a plan9.ini file like this:

menuitem=foo
menuitem=bar
menuitem=baz
menudefault=foo

...

[foo]

...

[bar]

...

(I forgot to provide a [baz] configuration block.)

When I tried to boot up, 9load correctly complained that I had
provided no [baz] configuration block.

But then, without giving me a chance to choose between either of
the two valid configurations foo and bar, it went ahead and booted
up.  And it turned out that, rather than having booted with the
specified default foo configuration, it had tried to boot baz
(that is, $menuitem in the environment after boot was baz).