Package dev: Scripts

Post install

PCA=/sbin/pam_console_apply
[ -x "$PCA" ] && "$PCA" ||:
Pre install

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 ||:
Pre uninstall

if [ -r /proc/mounts ]; then 
	(while read dev mountpoint rest ; do 
		[ "$mountpoint" != /dev ] || exit 1 
	done 
	exit 0 ) < /proc/mounts || { 
		echo 
		echo '** Cannot remove 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 'rpm -e 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