Re: git: 36db6b04962a - main - hier(7): document /home/ and /usr/home/

On 11 May 2023, at 4:11, Alexey Dokuchaev wrote:

> On Wed, May 10, 2023 at 04:48:12PM -0500, Mike Karels wrote:
>> ...
>> I'm sure the kludge was originally done when root and /usr were separate
>> file systems by default, root was small, and there was no /home by default.
>
> I think that's the idea, yes.  FWIW, I still partition my drives this way:
> 2~4GB root with big /usr and /home (the latter lives on separate partition
> because it's encrypted).  For non-encrypted setup, /home does not have to
> be a separate partition and can be a symlink to `usr/home'.  I actually
> don't find this inconvenient or particularly kludgy.  Surely it's nice to
> be able to encrypt one's data, but it's also nice not having to worry if
> you'd suddenly get ENOSPC while there's still plenty of room on adjacent
> partition.

For anyone using non-default partitioning (and that includes me), allocating
space reasonably is up to them.  It would certainly possible to use /usr/home;
the easiest way is to simply specify home directories with /usr/home/user
explicitly.  Of course, it would be possible to replace a /home directory
with a symlink manually.

		Mike

>> However, we now default to a single large file system (with datasets, in
>> the ZFS case).
>
> ZFS makes it all easier of course, but at its present state is not usable
> on 13+, so I'm confined to UFS until ZoL guys can fix their sh^code. :(
>
> ./danfe