3 |
|
|
4 |
#%rlevels: 7:s 0:k |
#%rlevels: 7:s 0:k |
5 |
#%start: 40 |
#%start: 40 |
6 |
#%stop: 60 |
#%stop: 90 |
7 |
|
|
8 |
#deps |
#deps |
9 |
#%needs: |
#%needs: |
47 |
rc_print "Unmounting all other currently mounted file systems ..." |
rc_print "Unmounting all other currently mounted file systems ..." |
48 |
if [ -e /dev/.udev ] |
if [ -e /dev/.udev ] |
49 |
then |
then |
50 |
NO_FS="noramfs,notmpfs,nodevtmpfs,nodevpts" |
NO_FS="noramfs,notmpfs,nodevtmpfs,nodevpts,noproc" |
51 |
umount -a -r -d -t ${NO_FS} |
umount -a -r -d -t ${NO_FS} |
52 |
else |
else |
53 |
# -d, umount loop devices as well |
# -d, umount loop devices as well |