Revision 9f443f553171032d5ce004ae326ecb116a6ef4e5 authored by Jean-Noël Avila on 08 October 2020, 20:23:57 UTC, committed by Junio C Hamano on 08 October 2020, 21:01:19 UTC
In command line options, variables are entered between < and > Signed-off-by: Jean-Noël Avila <jn.avila@free.fr> Signed-off-by: Junio C Hamano <gitster@pobox.com>
1 parent 89eed6f
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
Computing file changes ...