So /home/dev_1 (not $HOME; see error message) is not a mount point?  OK, the 
name to me implied it was.

Kind regards,

T G-R

Sent on the go.  Excuse or enjoy my brevity.

Reply via email to