diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:03:41 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-07-09 22:03:41 +0000 |
| commit | 80ffa7ff855ba98e2ef5a715d49e9d3346f29abf (patch) | |
| tree | c27ce7906b3e2208fa92641de08024e9559db683 /release/SETUP | |
| parent | d56b0f3528ad9047e4560996ea38d0445597da82 (diff) | |
Set root writable before doing anything else; offer to reboot the
system when through.
Diffstat (limited to 'release/SETUP')
| -rw-r--r-- | release/SETUP | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/release/SETUP b/release/SETUP index 13101df8..67ec0c45 100644 --- a/release/SETUP +++ b/release/SETUP @@ -3,9 +3,17 @@ set -v +# Make sure the filesystem is writable +fsysopts / --writable + # Set up the PFLOCAL server so we can do pipes /bin/settrans -c /servers/socket/1 /hurd/pflocal # Setup crucial devices cd /dev /bin/sh ./MAKEDEV std + +echo 'Hit ^C now for shell prompt or RET to reboot' +read response +sync +reboot |