Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.debian.user > #202936

Re: [OT?] home partition vs. home directory

From Pascal Hambourg <pascal@plouf.fr.eu.org>
Newsgroups linux.debian.user
Subject Re: [OT?] home partition vs. home directory
Date 2018-12-01 09:00 +0100
Message-ID <x08lY-2pA-7@gated-at.bofh.it> (permalink)
References <wZUCl-28m-7@gated-at.bofh.it> <wZXTA-43Y-3@gated-at.bofh.it> <x02qe-73P-7@gated-at.bofh.it> <x02zT-77p-1@gated-at.bofh.it> <x03cB-7Af-1@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


Le 01/12/2018 à 03:21, Ric Moore a écrit :
> On 11/30/18 8:45 PM, rhkramer@gmail.com 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 /).

Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread


Thread

[OT?] home partition vs. home directory Default User <hunguponcontent@gmail.com> - 2018-11-30 18:20 +0100
  Re: [OT?] home partition vs. home directory Roberto C. Sánchez <roberto@debian.org> - 2018-11-30 18:30 +0100
    Re: [OT?] home partition vs. home directory Cindy-Sue Causey <butterflybytes@gmail.com> - 2018-11-30 21:50 +0100
      Re: [OT?] home partition vs. home directory Joel Roth <joelz@pobox.com> - 2018-11-30 22:40 +0100
        Re: [OT?] home partition vs. home directory David Wright <deblis@lionunicorn.co.uk> - 2018-12-01 03:50 +0100
          Re: [OT?] home partition vs. home directory Joel Roth <joelz@pobox.com> - 2018-12-01 21:10 +0100
      Re: [OT?] home partition vs. home directory Ric Moore <wayward4now@gmail.com> - 2018-12-01 02:40 +0100
        Re: [OT?] home partition vs. home directory rhkramer@gmail.com - 2018-12-01 02:50 +0100
          Re: [OT?] home partition vs. home directory Ric Moore <wayward4now@gmail.com> - 2018-12-01 03:30 +0100
            Re: [OT?] home partition vs. home directory David Wright <deblis@lionunicorn.co.uk> - 2018-12-01 04:20 +0100
            Re: [OT?] home partition vs. home directory Pascal Hambourg <pascal@plouf.fr.eu.org> - 2018-12-01 09:00 +0100
              Re: [OT?] home partition vs. home directory rhkramer@gmail.com - 2018-12-01 16:10 +0100
    Re: [OT?] home partition vs. home directory David Wright <deblis@lionunicorn.co.uk> - 2018-12-01 03:20 +0100
    Re: [OT?] home partition vs. home directory Richard Hector <richard@walnut.gen.nz> - 2018-12-02 21:10 +0100
  Re: [OT?] home partition vs. home directory Hans <hans.ullrich@loop.de> - 2018-11-30 18:30 +0100
    Re: [OT?] home partition vs. home directory Jimmy Johnson <field.engineer@gmail.com> - 2018-12-01 10:30 +0100
      Re: [OT?] home partition vs. home directory Curt <curty@free.fr> - 2018-12-01 15:20 +0100
  Re: [OT?] home partition vs. home directory Michael Thompson <michaelw.thompson@icloud.com> - 2018-11-30 18:40 +0100
    Re: [OT?] home partition vs. home directory Michael Stone <mstone@debian.org> - 2018-11-30 20:00 +0100
      Re: [OT?] home partition vs. home directory Felix Miata <mrmazda@earthlink.net> - 2018-11-30 20:20 +0100
        Re: [OT?] home partition vs. home directory Michael Stone <mstone@debian.org> - 2018-11-30 22:30 +0100
      Re: [OT?] home partition vs. home directory Gene Heskett <gheskett@shentel.net> - 2018-12-01 01:30 +0100
        Re: [OT?] home partition vs. home directory Andy Smith <andy@strugglers.net> - 2018-12-01 03:40 +0100
        Re: [OT?] home partition vs. home directory rhkramer@gmail.com - 2018-12-01 16:10 +0100
          Re: [OT?] home partition vs. home directory David Wright <deblis@lionunicorn.co.uk> - 2018-12-01 17:30 +0100
          Re: [OT?] home partition vs. home directory Gene Heskett <gheskett@shentel.net> - 2018-12-01 18:30 +0100
            Re: [OT?] home partition vs. home directory Brian <ad44@cityscape.co.uk> - 2018-12-01 21:10 +0100

csiph-web