File: convert-wgetted.bash

package info (click to toggle)
dvdisaster 0.72.4-1
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd, wheezy
  • size: 20,088 kB
  • ctags: 6,526
  • sloc: ansic: 29,301; php: 3,324; sh: 370; xml: 296; makefile: 73; cs: 33
file content (9 lines) | stat: -rwxr-xr-x 263 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
 
#!/usr/bin/env bash

cd $1/documentation/wget-tmp

for file in ??/*.html; do
  new=`echo $file | sed -e "s/.php?/_/g" | sed -e "s/.php//g"`
  to=$1/documentation/$new
  cat $file | sed -e "s/.php#/.html#/g" | sed -e "s/.php%3F/_/g" | sed -e "s/.php//g" >$to
done