> Maybe I do not understand what you mean with  
> "explicitly umount *that directory*"
> 
>         umount  /home/user1
> on a autofs mountpoint /home does not work. Therefore the directory entry
> /home/user1 is stuck.

: cesium 1 # cd /home/quinlan
: cesium 2 # cd /
: cesium 3 # ls -l /home
total 68
lrwxrwxrwx   1 root     root           19 Feb 22 01:18 cesium -> /export/home/cesium/
drwxr-xr-x 178 hpa      hpa         45056 Feb 22 06:12 hpa/
drwxrwsr-x  48 quinlan  quinlan     24576 Feb 22 02:52 quinlan/
: cesium 4 # umount /home/quinlan
: cesium 5 # ls -l /home
total 44
lrwxrwxrwx   1 root     root           19 Feb 22 01:18 cesium -> /export/home/cesium/
drwxr-xr-x 178 hpa      hpa         45056 Feb 22 06:12 hpa/
: cesium 6 # 

Note that if there are processes holding /home/user1 open, then you
have to kill those processes -- otherwise you can't umount the
directory, no matter how it's mounted.

        -hpa

Reply via email to