Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #202936
| 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 |
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
[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