Skip to main content

Browse the archive

https://github.com/git/git
31 May 2024, 23:06:24 UTC
Revision bd6d3de01fdc6fcf040a22718673766e754631b5 authored by Junio C Hamano on 20 January 2023, 23:36:21 UTC, committed by Johannes Schindelin on 06 February 2023, 08:27:41 UTC 
Merge branch 'jk/curl-avoid-deprecated-api'
 
Deal with a few deprecation warning from cURL library.

* jk/curl-avoid-deprecated-api:
  http: support CURLOPT_PROTOCOLS_STR
  http: prefer CURLOPT_SEEKFUNCTION to CURLOPT_IOCTLFUNCTION
  http-push: prefer CURLOPT_UPLOAD to CURLOPT_PUT
2 parent s f39fe8f + f44e6a2
Raw File
Tip revision: bd6d3de01fdc6fcf040a22718673766e754631b5 authored by Junio C Hamano on 20 January 2023, 23:36:21 UTC
Merge branch 'jk/curl-avoid-deprecated-api'
Tip revision: bd6d3de
generate-configlist.sh 
#!/bin/sh

echo "/* Automatically generated by generate-configlist.sh */"
echo

print_config_list () {
	cat <<EOF
static const char *config_name_list[] = {
EOF
	grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt |
	sed '/deprecated/d; s/::$//; s/,  */\n/g' |
	sort |
	sed 's/^.*$/	"&",/'
	cat <<EOF
	NULL,
};
EOF
}

echo
print_config_list
back to top