Files
dvdisaster/scripts/convert-wgetted.bash
2009-11-21 16:29:02 +09:00

10 lines
263 B
Bash
Executable File

#!/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