Re: [OT?] home partition vs. home directory
- Date: Sat, 1 Dec 2018 08:54:22 +0100
- From: Pascal Hambourg <pascal@xxxxxxxxxxxxxxx>
- Subject: Re: [OT?] home partition vs. home directory
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
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 /).