4 DEST=`cd ../../index && /bin/pwd` || exit
7 /^our .gitbin = /s|"/usr/bin"|"/home/junio/bin/Linux"|
8 /^our .GIT = /s|"/usr/bin/|"/home/junio/bin/Linux/|
9 /^our .projectroot = /s|".*"|"/opt/packrat/playpen/public/in-place/git"|
10 /^our .stylesheet = /s|".*"|"/gitweb.css"|
11 /^our .projects_list = /s|".*"|"/opt/packrat/playpen/public/in-place/git/index/index.aux"|
12 ' gitweb.cgi >gitweb.cgi++
16 if test -f "$DEST/gitweb.cgi"
18 diff -u "$DEST/gitweb.cgi" gitweb.cgi++ || differs="g$differs"
23 if test -f "$DEST/gitweb.css"
25 diff -u "$DEST/gitweb.css" gitweb.css || differs="s$differs"
34 while echo -n 'Update [y/N]? '
54 rm -f "$DEST/gitweb.cgi"
55 cp gitweb.cgi++ "$DEST/gitweb.cgi"
56 chmod +x "$DEST/gitweb.cgi"
62 rm -f "$DEST/gitweb.css"
63 cp gitweb.css "$DEST/gitweb.css"