if [ -r /proc/mounts ]; then
(while read dev mountpoint rest ; do
[ "$mountpoint" != /dev ] || exit 1
done
exit 0 ) < /proc/mounts || {
echo
echo '** Cannot install dev: mounted udev detected.'
echo '** This is no problem, but to avoid side-effects with'
echo '** stopping and starting it automatically, please do:'
echo 'service udevd umount'
echo 'apt-get install dev'
echo 'service udevd restart'
echo '** Note that some services like syslogd or gpm might need'
echo '** restart after this, too; dcop (KDE) might have problems.'
exit 1
}
fi
[ -L /dev/snd ] && rm -f /dev/snd ||:
[ -d /dev/video ] && rm -rf /dev/video ||: