Re: /lib and /usr/lib

2000-02-08 Thread Falk Hueffner
"Mikolaj J. Habryn" <[EMAIL PROTECTED]> writes: > I've always made a habit of putting /usr on a separate partition to > /. No particular reason, other than the usual arguments for a small > root partition. Imagine my surprise when my alpha failed to boot one > fine day a while ago. > > The pr

/lib and /usr/lib

2000-02-08 Thread Mikolaj J. Habryn
I've always made a habit of putting /usr on a separate partition to /. No particular reason, other than the usual arguments for a small root partition. Imagine my surprise when my alpha failed to boot one fine day a while ago. The problem was that libgpm moved from /lib to /usr/lib. And bash r

Bug#54524: http_proxy and web clients.

2000-02-08 Thread Edward Betts
Nicolás Lichtmaier <[EMAIL PROTECTED]> wrote: > Package: debian-policy > > This is already standard, but I think it should be into policy because I > already saw some programs deviating from this expected behaviour. > > Web clients should default to try to fetch URLs by a direct connection to > t

Bug#54524: http_proxy and web clients.

2000-02-08 Thread Nicolás Lichtmaier
> s> It's a bit complex, and requires modifications to every > s> program that uses HTTP, but the modifications are simple, and > s> it would be a nice thing to have. In most HTTP clients would > s> be just adding a call to a function that sets the env vars > s> according to t

Bug#54524: http_proxy and web clients.

2000-02-08 Thread Nicolás Lichtmaier
> > I don't know much about debconf, but couldn't this variables stored in that > > database? > No, debconf is for install-time configuration, not run-time configuration, > It is _not_ a registry. `Install-time' you say, but still the data is preserved among different `install-times'. So if you