File: make_site.ksh

package info (click to toggle)
eccodes 2.45.0-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 154,404 kB
  • sloc: cpp: 162,953; ansic: 26,308; sh: 21,742; f90: 6,854; perl: 6,361; python: 5,172; java: 2,226; javascript: 1,427; yacc: 854; fortran: 543; lex: 359; makefile: 283; xml: 183; awk: 66
file content (20 lines) | stat: -rwxr-xr-x 368 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
#!/bin/ksh

cd ../html_web

for i in *.html
do

#p4 edit $i
#sed 's/index.html/grib_api.html/g' $i > $i.tmp
#mv $i.tmp $i

sed 's/href=\"grib\_/href=\"\/publications\/manuals\/grib\_api\/grib\_/g' $i > $i.tmp
mv $i.tmp $i
sed 's/<link rel=\"stylesheet\" href=\"css\/packages\.css\" type=\"text\/css\">//g' $i > $i.tmp
mv $i.tmp $i


done

#mv index.html grib_api.html