diff options
Diffstat (limited to 'rc/bin/inst/halt')
| -rwxr-xr-x | rc/bin/inst/halt | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/rc/bin/inst/halt b/rc/bin/inst/halt new file mode 100755 index 000000000..4554359f0 --- /dev/null +++ b/rc/bin/inst/halt @@ -0,0 +1,18 @@ +#!/bin/rc + +echo -n 'Halting file systems...' + +if(ps | grep -s ' venti$') + venti/sync -h tcp!127.0.0.1!17034 +if(ps | grep -s ' fossil$'){ + echo fsys all halt >>/srv/fscons + slay fossil|rc +} + +echo done +echo +echo Remember to take the install disk out of the drive. +echo Feel free to turn off your computer. +while() + sleep 3600 + |