Web lists-archives.com

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.
> 
> Right.
> 
> > 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 ...)