File: create_gitindex.sh

package info (click to toggle)
notion 4.0.3%2Bdfsg-1
  • links: PTS, VCS
  • area: main
  • in suites: sid, trixie
  • size: 4,656 kB
  • sloc: ansic: 47,365; sh: 2,093; makefile: 594; perl: 270
file content (9 lines) | stat: -rwxr-xr-x 636 bytes parent folder | download | duplicates (7) 
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