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

Groups > linux.debian.user > #202941

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

Show all headers | View raw

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@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 /).

+ 10 (or 100, or 1000 ...)

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