On Fri, 1 Sep 2000, Greg A. Woods wrote:
> [ On , September 1, 2000 at 09:30:27 (-0400), Paul D. Smith wrote: ]
> > Subject: Re: HTML format documentation
> >
> > I say just leave the sysconfdir default as ${prefix}/etc (or whatever).
>
> The problem with that is still that $(prefix)/etc is not
[ On Saturday, September 2, 2000 at 12:03:05 (-0400), Steve Robbins wrote: ]
> Subject: Re: HTML format documentation
>
> Would you be happier if the option was called just --confdir ?
yes, that would be OK too (and of course the make variable should
be changed to match)
--
I dislike the idea of this kind of hard coding. I'd much rather use
./configure --prefix=/usr --sysconfdir=/etc
I think this makes it hard to get an option that more and more users want.
Either that or one gives up on the sillyness of allowing the user to
choose the actual name of the prefix and instead simply encode the
expected defaults for various platforms into Autoconf (i.e. /usr,
/usr/pkg, /usr/local, or whatever) and allow the user only to specify
whethe
By giving ultimate flexibility in the way you describe the devloper is
also free to muck with the defaults and to make even greater mistakes in
mis-classifying the files he's trying to install.
Developers can make all sorts of mistakes. The mistakes just have to
be fixed. Developers
