diff options
| author | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-08 21:49:37 +0000 |
|---|---|---|
| committer | Trevor Johnson <trevor@FreeBSD.org> | 2004-02-08 21:49:37 +0000 |
| commit | ed1894412266f63e0fa3d10f2aa996e9be687f82 (patch) | |
| tree | d54307d101687ceb48aa49c11cab6c3d57182e01 /emulators/linux_base-suse-9.3 | |
| parent | Add "anti-foot-shooting device". (diff) | |
Try to mount and unmount both linproc and linprocfs: the former
is documented in linprocfs(5) but I have seen and used the latter.
Diffstat (limited to 'emulators/linux_base-suse-9.3')
| -rw-r--r-- | emulators/linux_base-suse-9.3/pkg-install | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/emulators/linux_base-suse-9.3/pkg-install b/emulators/linux_base-suse-9.3/pkg-install index 2d569a739289..b4d717c72915 100644 --- a/emulators/linux_base-suse-9.3/pkg-install +++ b/emulators/linux_base-suse-9.3/pkg-install @@ -16,18 +16,30 @@ PRE-INSTALL) echo 'Un-mounting linprocfs...' umount linprocfs fi + if [ -n "`mount | grep -w ^linproc`" ]; then + echo 'Un-mounting linproc...' + umount linproc + fi ;; POST-INSTALL) if [ -n "`grep -w ^linprocfs /etc/fstab`" ]; then echo 'Re-mounting linprocfs...' mount linprocfs fi + if [ -n "`grep -w ^linprocfs /etc/fstab`" ]; then + echo 'Re-mounting linproc...' + mount linproc + fi ;; DEINSTALL) if [ -n "`mount | grep -w ^linprocfs`" ]; then echo 'Un-mounting linprocfs...' umount linprocfs fi + if [ -n "`mount | grep -w ^linproc`" ]; then + echo 'Un-mounting linproc...' + umount linproc + fi ;; esac |