diff options
Diffstat (limited to 'emulators/linux_base-fc6/pkg-deinstall')
-rw-r--r-- | emulators/linux_base-fc6/pkg-deinstall | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/emulators/linux_base-fc6/pkg-deinstall b/emulators/linux_base-fc6/pkg-deinstall new file mode 100644 index 000000000000..ad1a3ef75216 --- /dev/null +++ b/emulators/linux_base-fc6/pkg-deinstall @@ -0,0 +1,18 @@ +#!/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 hands:" + echo " o unmount linprocfs;" + echo " o delete ${PKG_PREFIX}/proc;" + echo " o remove the description of linprocfs from /etc/fstab." + echo "" + fi + ;; +esac + +exit 0 |