#!/bin/sh # a deinstallation script for linux_base case "$2" in DEINSTALL) if [ -n "`mount | grep ^linproc`" ] || \ [ -d /usr/local_/gentoo-stage1/roc ]; then echo "" echo "You may need to do by hands:" echo " o unmount linprocfs;" echo " o delete /usr/local/gentoo-stage1/proc;" echo " o remove the description of linprocfs from /etc/fstab." echo "" fi ;; esac exit 0