> On 20 Jun 2017, at 00:40, Daniel Stenberg <[email protected]> wrote: > > On Mon, 19 Jun 2017, Daniel Stenberg wrote: > >> In curl 7.55.0 we finally introduce a way for users to send “OPTION *” and >> similar requests to servers. >> >> https://daniel.haxx.se/blog/2017/06/19/options-with-curl/ > > ... I like the suggestion I got as a comment there, to instead allow this > operation with a --request-target option (and of course the matching > underlying libcurl option). So I've now filed a new PR and I'm interested in > further input: > > https://github.com/curl/curl/pull/1593 > > To me, --request-target is cleaner and easier to understand and document.
--request-target is IMHO clearly clearer (sic) and we should go with it. I worry slightly about removing a released option. I also worry about the process failure whereby this was discussed on the list at least twice, many months apart, and we didn't come up with such an obvious option. -- Alex Bligh ------------------------------------------------------------------- Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library Etiquette: https://curl.haxx.se/mail/etiquette.html
