Re: [OT?] home partition vs. home directory
- Date: Sat, 1 Dec 2018 10:03:24 -0500
- From: rhkramer@xxxxxxxxx
- Subject: Re: [OT?] home partition vs. home directory
On Saturday, December 01, 2018 02:54:22 AM Pascal Hambourg wrote:
> Le 01/12/2018 à 03:21, Ric Moore a écrit :
> > On 11/30/18 8:45 PM, rhkramer@xxxxxxxxx wrote:
> >> Why bother with /opt -- iirc, /opt is for optional software, not user
> >> data.
> > True true, but you may select the /opt partition from the install menu
> > and not re-format it.
> You can select arbitrary mount points in the installer. All you have to
> do is type the path.
> For example I did it to use a separate filesystem
> for /var/log (so that flooding logs would not fill the whole /var or /).
+ 10 (or 100, or 1000 ...)