It reports /dev busy doing umout -a. This just does not try unmount
devfs. Do we need to unmount it at all?
-andrej
--- halt.org Fri Jul 20 18:40:14 2001
+++ halt Sun Aug 5 00:38:32 2001
@@ -164,16 +164,16 @@
sig=
retry=3
-remaining=`awk '!/(^#|proc|loopfs|autofs|^none|^\/dev\/root| \/ )/
{print $2}' /proc/mounts`
+remaining=`awk '!/(^#|proc|devfs|loopfs|autofs|^none|^\/dev\/root| \/
)/ {print $2}' /proc/mounts`
while [ -n "$remaining" -a "$retry" -gt 0 ]
do
if [ "$retry" -lt 3 ]; then
- LANG=C runcmd "Unmounting file systems (retry): "
umount -a -f -t noproc
+ LANG=C runcmd "Unmounting file systems (retry): "
umount -a -f -t noproc,devfs
else
- LANG=C runcmd "Unmounting file systems: " umount -a -f
-t noproc
+ LANG=C runcmd "Unmounting file systems: " umount -a -f
-t noproc,devfs
fi
sleep 2
- remaining=`awk '!/(^#|proc|loopfs|autofs|^none|^\/dev\/root| \/
)/ {print $2}' /proc/mounts`
+ remaining=`awk
'!/(^#|proc|devfs|loopfs|autofs|^none|^\/dev\/root| \/ )/ {print $2}'
/proc/mounts`
[ -z "$remaining" ] && break
/sbin/fuser -k -m $sig $remaining >/dev/null
sleep 5
