> So /home/dev_1 (not $HOME; see error message) $HOME is /home/dev_1 in my system. Sorry, I have written $HOME, it is a little confusing, but it is same thing.
No, my home dir isn't a mount point. Le sam. 19 nov. 2022 à 20:21, Tobias Geerinckx-Rice <m...@tobias.gr> a écrit : > 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. >