diff options
| author | Nguyễn Thái Ngọc Duy <pclouds@gmail.com> | 2018-08-19 12:52:10 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-08-21 11:28:11 -0700 |
| commit | eb90ea79c59197e25a40fc3414a75d977f8a8f56 (patch) | |
| tree | 3bb04c731533822ee88a435f4efaef5e5fabbca2 /generate-cmdlist.sh | |
| parent | 7e8bfb0412581daf8f3c89909f1d37844e8610dd (diff) | |
| download | git-eb90ea79c59197e25a40fc3414a75d977f8a8f56.tar.gz | |
generate-cmdlist.sh: collect config from all config.txt files
This script uses Documentation/config.txt as input for "git help
--config" and "git config" completion but it misses the fact that
config.txt includes other txt files. Include all *config.txt as input
when scanning for config keys. This could produce false positives, but
as long as we stick to the blah-config.txt naming convention, we
should be ok.
While at there, move diff.* from config.txt to diff-config.txt where
all other diff config keys are.
Signed-off-by: Nguyễn Thái Ngọc Duy <pclouds@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'generate-cmdlist.sh')
| -rwxr-xr-x | generate-cmdlist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh index c4124acbe7..fa1e5475e8 100755 --- a/generate-cmdlist.sh +++ b/generate-cmdlist.sh @@ -80,7 +80,7 @@ print_config_list () { cat <<EOF static const char *config_name_list[] = { EOF - grep '^[a-zA-Z].*\..*::$' Documentation/config.txt | + grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt | sed '/deprecated/d; s/::$//; s/, */\n/g' | sort | while read line |