7 echo "Downloading from: http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/"
9 curl --remote-name http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/${CHEMNITZ}.gz
11 mv ${CHEMNITZ} inputs/
13 echo "Note that unzipping is slow."
16 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
17 WIKI=${L}wiktionary-20120220-pages-articles.xml
18 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120220/${WIKI}.bz2
20 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
25 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
26 WIKI=${L}wiktionary-20120106-pages-articles.xml
27 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120106/${WIKI}.bz2
29 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
32 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
33 WIKI=${L}wiktionary-20120110-pages-articles.xml
34 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120110/${WIKI}.bz2
36 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
39 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
40 WIKI=${L}wiktionary-20120111-pages-articles.xml
41 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120111/${WIKI}.bz2
43 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
46 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
47 WIKI=${L}wiktionary-20120108-pages-articles.xml
48 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120108/${WIKI}.bz2
50 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
52 echo "Done. Now run WiktionarySplitter to spit apart enwiktionary."