mirror of
https://github.com/git/git.git
synced 2024-11-15 13:43:45 +01:00
5c94f87e6b
While 'init-db' still is and probably will always remain a valid git command for obvious backward compatibility reasons, it would be a good idea to move shipped tools and docs to using 'init' instead. Signed-off-by: Nicolas Pitre <nico@cam.org> Signed-off-by: Junio C Hamano <junkio@cox.net>
51 lines
544 B
Bash
Executable file
51 lines
544 B
Bash
Executable file
#!/bin/sh
|
|
|
|
echo "/* Automatically generated by $0 */
|
|
struct cmdname_help
|
|
{
|
|
char name[16];
|
|
char help[80];
|
|
};
|
|
|
|
struct cmdname_help common_cmds[] = {"
|
|
|
|
sort <<\EOF |
|
|
add
|
|
apply
|
|
archive
|
|
bisect
|
|
branch
|
|
checkout
|
|
cherry-pick
|
|
clone
|
|
commit
|
|
diff
|
|
fetch
|
|
grep
|
|
init
|
|
log
|
|
merge
|
|
mv
|
|
prune
|
|
pull
|
|
push
|
|
rebase
|
|
reset
|
|
revert
|
|
rm
|
|
show
|
|
show-branch
|
|
status
|
|
tag
|
|
EOF
|
|
while read cmd
|
|
do
|
|
sed -n '
|
|
/NAME/,/git-'"$cmd"'/H
|
|
${
|
|
x
|
|
s/.*git-'"$cmd"' - \(.*\)/ {"'"$cmd"'", "\1"},/
|
|
p
|
|
}' "Documentation/git-$cmd.txt"
|
|
done
|
|
echo "};"
|