From mboxrd@z Thu Jan  1 00:00:00 1970
From: ron minnich <rminnich@lanl.gov>
To: 9fans@cse.psu.edu
Message-ID: <Pine.LNX.4.44.0309251304300.5512-100000@maxroach.lanl.gov>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Subject: [9fans] 9 boots 9
Date: Thu, 25 Sep 2003 13:21:40 -0600
Topicbox-Message-UUID: 4c4d8980-eacc-11e9-9e20-41e7f4b1d025


I mentioned that it would be nice to have /dev/rebootfile to load a file,
then do kfscmd halt, so we would have a really clean shutdown/reboot
scenario.

It was pointed out that adding another file to #s is hardly a good idea.

So, could we add another command to /dev/reboot?

Currently we have two commands for /dev/reboot
reboot
and
reboot filename

could we add

rebootfile filename

e.g. you could then do this:

echo 'rebootfile /386/test' > /dev/reboot
disk/kfscmd sync
disk/kfscmd halt
echo reboot > /dev/reboot

Is this acceptable?

ron