contrib/create_gitindex.sh

   1 #!/bin/sh
   2
   3 cat index.html \
   4         | sed -e 's/href="scripts\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=scripts\/\1;hb=HEAD"/g' \
   5         | sed -e 's/href="keybindings\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=keybindings\/\1;hb=HEAD"/g' \
   6         | sed -e 's/href="styles\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=styles\/\1;hb=HEAD"/g' \
   7         | sed -e 's/href="statusbar\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=statusbar\/\1;hb=HEAD"/g' \
   8         | sed -e 's/href="statusd\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=statusd\/\1;hb=HEAD"/g' \
   9         > index_git.html