diff options
author | Trevor Johnson <trevor@FreeBSD.org> | 2003-10-13 00:29:15 +0000 |
---|---|---|
committer | Trevor Johnson <trevor@FreeBSD.org> | 2003-10-13 00:29:15 +0000 |
commit | d9047317419cfc6af36d681ce69f8f5f833337e0 (patch) | |
tree | 3ce9ddfa3400a36584e7f26bedeeb7ab2ba05252 /emulators | |
parent | 8bcb72d4a4bb93dac835bd5ba2db5e155d6cb4c9 (diff) |
Notes
Diffstat (limited to 'emulators')
-rw-r--r-- | emulators/linux_base-6/pkg-install | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/emulators/linux_base-6/pkg-install b/emulators/linux_base-6/pkg-install index 7846395642ef..2d569a739289 100644 --- a/emulators/linux_base-6/pkg-install +++ b/emulators/linux_base-6/pkg-install @@ -12,6 +12,22 @@ PRE-INSTALL) exit 1 fi fi + if [ -n "`mount | grep -w ^linprocfs`" ]; then + echo 'Un-mounting linprocfs...' + umount linprocfs + fi + ;; +POST-INSTALL) + if [ -n "`grep -w ^linprocfs /etc/fstab`" ]; then + echo 'Re-mounting linprocfs...' + mount linprocfs + fi + ;; +DEINSTALL) + if [ -n "`mount | grep -w ^linprocfs`" ]; then + echo 'Un-mounting linprocfs...' + umount linprocfs + fi ;; esac |