#!/bin/sh
#
rm Edit.jsp*
rm Diff.jsp*
rm PageInfo.jsp*
rm -r attach
rm -r images
rm -r scripts
rm -r templates
# rm Wiki.jsp*
#
# Daten hohlen (Daten landen im Directory "JSPWiki"
#
wget -r -l5 -k -nH  http://127.0.0.1:8080/JSPWiki/
#
cp -r JSPWiki/* .
rm *=*
#
foo="Wiki.jsp?page=";
#
# rename all files an change links
# 
# for i in ${foo}* ; do sed -e s/href=\"Wiki.jsp\?page=/href=\"/g <$i >${i#$foo}.html; done
#
# ohne endung ".html"
#
for i in ${foo}* ; do sed -e s/href=\"Wiki.jsp\?page=/href=\"/g <$i >${i#$foo}; done
#for i in ${foo}* ; do sed -e s/href=\"$foo=/href=\"/g <$i >${i#$foo}; done
#
#
rm Edit.jsp*
rm Diff.jsp*
rm PageInfo.jsp*
rm Wiki.jsp*
#
rm -r JSPWiki

#
exit