3 "$HOME"/admin/prog/git-scripts/update || exit 1
5 current="`git config --get --path remote.current.url`"
7 # Copy templates and generated files with timestamps to avoid rebuilding
8 rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
9 "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
11 # Copy files generated by yacc
12 rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
14 cgi="`git config --get --path remote.cgi.url`" &&
15 if [ -n "$cgi" ]; then
16 umask 022 && cd "$cgi" && git pull origin &&
17 rsync -ahP "$current"/html/html.py "$current"/html/html.tmpl \
18 "$current"/html/redirect.py "$current"/html/redirect.tmpl html &&
19 rsync -ahP "$current"/parser.out "$current"/parsetab.py . &&
20 compyleall && chmod -R a+rX .
23 cd "$current" && exec git pull origin