diff options
| -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) |