sed -i 's/\/w3c\/resources\//\/resources\//g' *.html
sed -i 's/\/media\/resources\/media-source\///g' *.html
sed -i 's/\/media\/resources\/media-source\///g' *.js
sed -i 's/\/media\/resources\/media-source\///g' webm/*
for TEST_FILE in `ls *.html` do if [ "$TEST_FILE" = "index.html" ] then
continue fi echo -e "$TEST_FILE" >> manifest.txt done
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.