#!/bin/sh # a deinstallation script for linux_base case "$2" in DEINSTALL) if [ -n "`mount | grep ^linproc`" ] || \ [ -d /compat/linux/proc ]; then echo "" echo "You may need to do by hand:" echo " o unmount linprocfs if mounted" echo " o delete ${PKG_PREFIX}/proc if present" echo " o remove/comment linprocfs from /etc/fstab if present" echo "" fi ;; esac exit 0