adapt_html.sh

#!/bin/bash

baseurl="https://www.mat.tuhh.de"

for f in *.html
do 
  sed -i 's;windows-1252;utf-8;g' $f
  sed -i 's;iso-8859-1;utf-8;g' $f
#adapt paths
  #css
  sed -i 's;/include/css;css;g' $f 
  #images
  sed -i 's;/include/images;img;g' $f
  #/forschung
  sed -i "s;\"/forschung;\"$baseurl/forschung;" $f
  #/index
  sed -i 's;"/index.html;"index.html;' $f
done