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