Kernelkonfig fuer Wiki:

1. '#' Kommentarzeilen entfernen.

2. Leerzeilen entfernen (The symbol \b matches the empty string at the edge of a word.)

3. bei jedem Zeilenanfang eine Leerstelle einfuegen.

grep -v '#' | grep  '\b'| sed -e 's/^/ /'

timms videos runterladen

for i in $(curl "http://timms.uni-tuebingen.de/Browser/Browser01.aspx?path=%2fUniversit%c3%a4t+T%c3%bcbingen%2fFakult%c3%a4t+f%c3%bcr+Informations-+und+Kognitionswissenschaften%2fWilhelm-Schickard-Institut+f%c3%bcr+Informatik%2fVorlesung+Kryptologie+und+Datensicherheit+WiSe+2006-2007%2f" 2>/dev/null | grep UT_200 | awk '{print $6}' | cut -c 21-61 | sed -e 's/$/.wmv500.wmv/'); do mplayer -dumpstream $(echo $i | sed -e 's/^/mms:\/\/u-003-stimms03.uni-tuebingen.de\//') -dumpfile $(echo $i | cut -c 15-); done
Powered by MediaWiki