Re: /usr/opt instead of /opt?

2012-03-09 Thread Shachar Shemesh
On 03/09/2012 03:41 PM, Omer Zak wrote: > On Fri, 2012-03-09 at 10:31 +0200, Oleg Goldshmidt wrote: > >> Note that /opt is intended for software (and data) that is not a part >> of the system/distro, is installed in a non-standard way, etc. This is >> something you may want to keep intact, e.g., wh

Re: /usr/opt instead of /opt?

2012-03-09 Thread Omer Zak
On Fri, 2012-03-09 at 10:31 +0200, Oleg Goldshmidt wrote: > Note that /opt is intended for software (and data) that is not a part > of the system/distro, is installed in a non-standard way, etc. This is > something you may want to keep intact, e.g., when you upgrade the base > system. What, then,

Re: How do I disable NetworkManager in favor of dhcp setup?

2012-03-09 Thread Oron Peled
On Thursday, 8 בMarch 2012 14:04:37 Tzafrir Cohen wrote: > Reference: > http://projects.gnome.org/NetworkManager/developers/api/09/ref-settings.html > > Sadly I did not see any progress in http://bugs.debian.org/637769 Thanks for the pointer. Let's see how long does it take: https://bugzilla.re

Re: /usr/opt instead of /opt?

2012-03-09 Thread guy keren
On 03/09/2012 10:31 AM, Oleg Goldshmidt wrote: Omer Zak writes: My current Linux system has a 15GB root partition, which has 6GB files. Turns out that that about 5.5GB are in the /opt directory. My /usr partition is 206GB, of which about 33GB are used. This led me to wonder why is it not reco

Re: /usr/opt instead of /opt?

2012-03-09 Thread Oleg Goldshmidt
Omer Zak writes: > My current Linux system has a 15GB root partition, which has 6GB files. > Turns out that that about 5.5GB are in the /opt directory. > My /usr partition is 206GB, of which about 33GB are used. > > This led me to wonder why is it not recommended in the FSSTND[1] to > deprecate /