Daniel Stenberg
2017-05-04 05:59:27 UTC
Hey,
I've submitted a first version of a pull-request [1] that gives the curl tool
the ability to issue an HTTP "OPTIONS *" request to a server, something that
isn't previously possible and has been mentioned in the TODO for a while.
To send this request a special command line option needs to be used.
What should this option be called? I don't want it to be plain "--options"
because that doesn't properly reveal that it also sends the asterisk instead
of the path. You can already do -X OPTIONS to get the path-sending version
done without this new option.
My current version calls it --optionsstar but I'm not overly happy with this
name.
Ideas?
[1] = https://github.com/curl/curl/pull/1462
I've submitted a first version of a pull-request [1] that gives the curl tool
the ability to issue an HTTP "OPTIONS *" request to a server, something that
isn't previously possible and has been mentioned in the TODO for a while.
To send this request a special command line option needs to be used.
What should this option be called? I don't want it to be plain "--options"
because that doesn't properly reveal that it also sends the asterisk instead
of the path. You can already do -X OPTIONS to get the path-sending version
done without this new option.
My current version calls it --optionsstar but I'm not overly happy with this
name.
Ideas?
[1] = https://github.com/curl/curl/pull/1462
--
/ daniel.haxx.se
-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Et
/ daniel.haxx.se
-----------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-users
Et