Re: guix shell: error: mount: Invalid argument

[bbb ee]

> 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 <me@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.
>