summary refs log tree commit diff
path: root/home/.gdbinit
diff options
context:
space:
mode:
authorJune McEnroe <june@causal.agency>2020-07-25 22:41:59 +0000
committerJune McEnroe <june@causal.agency>2020-07-25 22:41:59 +0000
commitfaac0b7b899d1f272152e8dfd4823b9d0e2a8091 (patch)
treefb57ecc50b1b44a8209ac0bf0196441222fea2ff /home/.gdbinit
parentSet pull.rebase true (diff)
downloadsrc-faac0b7b899d1f272152e8dfd4823b9d0e2a8091.tar.gz
src-faac0b7b899d1f272152e8dfd4823b9d0e2a8091.zip
Fix setting second title request to GET
Since 9c845be2797e2047547ec247cb037471aeb48bb0 in curl (7.71.0), setting
CURLOPT_NOBODY to 1 sets the request method to HEAD, but setting it back
to 0 does not change the method back to GET. Setting CURLOPT_HTTPGET
both sets the request method and unsets CURLOPT_NOBODY.
Diffstat (limited to 'home/.gdbinit')
0 files changed, 0 insertions, 0 deletions
'> 2019-09-05Print title as soon as it's availableJune McEnroe 2019-09-05Use CURL_PREFIX to set flagsJune McEnroe 2019-09-05Add titleJune McEnroe 2019-09-04Add Avorter n'est pas tuerJune McEnroe 2019-08-29Unset executable on shell scriptsJune McEnroe 2019-08-29Add long-missing setopt to bin.7June McEnroe 2019-08-29Add editJune McEnroe