File: create_gitindex.sh

package info (click to toggle)
notion 3%2B2015061300-2
  • links: PTS, VCS
  • area: non-free
  • in suites: stretch
  • size: 4,904 kB
  • ctags: 6,037
  • sloc: ansic: 46,788; sh: 2,005; makefile: 548; perl: 270
file content (9 lines) | stat: -rwxr-xr-x 636 bytes parent folder | download | duplicates (8) 
1
2
3
4
5
6
7
8
9
 
#!/bin/sh

cat index.html \
	| sed -e 's/href="scripts\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=scripts\/\1;hb=HEAD"/g' \
	| sed -e 's/href="keybindings\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=keybindings\/\1;hb=HEAD"/g' \
	| sed -e 's/href="styles\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=styles\/\1;hb=HEAD"/g' \
	| sed -e 's/href="statusbar\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=statusbar\/\1;hb=HEAD"/g' \
	| sed -e 's/href="statusd\/\([^"]*\)"/href="gitweb.cgi\?p=notion\/contrib;a=blob_plain;f=statusd\/\1;hb=HEAD"/g' \
	> index_git.html