retitle 393458 --disable-* options are badly named and badly documented thanks
On 2008-05-08 02:00:54 +0200, Domenico Andreoli wrote: > What? Is this bug still open?!? Let's close it, clearly Daniel does > not want to redesign the curl command line interface. I will not either. Changing the names --disable-* to --toggle-* would be more intuitive, and I wouldn't call that a redesign. Also, the man page doesn't say that the toggle effect of command-line options are combined with the same config-file options. And this behavior is not obvious because this is a very bad design (in general, when there is some "conflict", a command-line option completely overrides the corresponding config-file option, as this allows to choose a specific behavior on the command line, whatever the contents of the config file). -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
