Skip to main content

Browse the archive

https://github.com/git/git
31 May 2024, 23:06:24 UTC
Revision c2cbfbd2e28cbe27c194d62183b42f27a6a5bb87 authored by Junio C Hamano on 01 April 2024, 20:21:22 UTC, committed by Junio C Hamano on 01 April 2024, 20:21:36 UTC 
The thirteenth batch
 
Signed-off-by: Junio C Hamano <gitster@pobox.com>
1 parent cebe702
Raw File
Tip revision: c2cbfbd2e28cbe27c194d62183b42f27a6a5bb87 authored by Junio C Hamano on 01 April 2024, 20:21:22 UTC
The thirteenth batch
Tip revision: c2cbfbd
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