diff options
| author | Miles Bader <miles@gnu.org> | 1996-06-25 22:02:01 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-06-25 22:02:01 +0000 |
| commit | 76791341386aad1a73a2ca35531fdf70062e8d05 (patch) | |
| tree | a69505de1136eacc5823b3bc7f82cb37575b78d3 | |
| parent | ae988687ff4e31d11daccb2d82aed82353e61dad (diff) | |
Use real fsck instead of kluge.
| -rw-r--r-- | daemons/rc.sh | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/daemons/rc.sh b/daemons/rc.sh index cbb6bfe8..39c06934 100644 --- a/daemons/rc.sh +++ b/daemons/rc.sh @@ -10,21 +10,14 @@ then echo Automatic boot in progress... date - # Find the filesystem by a kludge, and extract the root device name. - fsargs=`ps -MaxHww --fmt=%command | grep exec-server-task | head -1` - dev=`echo $fsargs | sed 's/^.* \([^ ]*\)$/\1/' ` - type=`echo $fsargs | sed 's/^\/hurd\/\(.*\)\.static.*$/\1/' ` - - fsysopts / -r - fsck.$type -p /dev/r$dev + /sbin/fsck -p case $? in # Successful completion 0) ;; - # Filesystem modified + # Filesystem modified (but ok now) 1 | 2) - fsysopts / -uw ;; # Fsck couldn't fix it. 4 | 8) |