[Discussion] Don't mount $HOME if custom home

[gunnarx]

I prefer that $HOME isn't mounted if a custom home was specified.

Draft implementation (WIP)
https://github.com/gunnarx/distrobox/tree/dont_mount_host_home

Still, choosing the --workdir seems not perfect (in either solution), but in my view it should at least not be host $HOME by default, if another HOME has been specified...

Some relevant notes:

• [Feature] Create custom HOME for containers 89luca89/distrobox#70

which notes one of the problems (that appears also now) that --workdir set to a non-existing location will cause an error.

It would be good to protect the host's $HOME dir from applications in the container if a custom home is selected. Not mounting it at /home/<user> is a good start but it's still available through /run/host/home/<user> as things stand now. Sandboxing apps and isolating from personal files in $HOME is actually my main usage, but it's not the (current) way of the project.

Although, here is a discussion of that:

• [Feature] Sandboxed mode 89luca89/distrobox#28

[gunnarx]

Apologies, you might find this because GitHub links everything together and because I mentioned issues above, but I intended this as preparation / personal notes on my own fork.

If an issue is required upstream I'd create a new one at: https://github.com/89luca89/distrobox/ (I already opened a PR, though...)