diff options
Diffstat (limited to 'gentoo/sys-apps/hal/files/hal-unmount.dev')
m--------- | gentoo | 0 | ||||
-rw-r--r-- | gentoo/sys-apps/hal/files/hal-unmount.dev | 17 |
2 files changed, 0 insertions, 17 deletions
diff --git a/gentoo b/gentoo new file mode 160000 +Subproject 644110a847c5911c2eb04eb53c93031740561ef diff --git a/gentoo/sys-apps/hal/files/hal-unmount.dev b/gentoo/sys-apps/hal/files/hal-unmount.dev deleted file mode 100644 index 04d1fa81b..000000000 --- a/gentoo/sys-apps/hal/files/hal-unmount.dev +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/sh - -# sanity check. DEVNAME should start with a / -[ "$DEVNAME" != "${DEVNAME#/}" ] || exit 0 - -# Lazily unmount drives which are removed, but still mounted -if [ "$ACTION" = remove ] \ - && (grep -q "^$DEVNAME" /proc/mounts || grep -q "^$DEVNAME" /etc/mtab); then - if [ -x /usr/bin/pumount ] ; then - /usr/bin/pumount -l "$DEVNAME"; - else - /bin/umount -l "$DEVNAME"; - fi -fi - -exit 0 - |