8 echo "Downloading from: http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/"
10 #curl --remote-name http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/${CHEMNITZ}.gz
11 #gunzip ${CHEMNITZ}.gz
12 #mv ${CHEMNITZ} inputs/
14 echo "Note that unzipping is slow."
17 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
18 WIKI=${L}wiktionary-20120109-pages-articles.xml
19 #curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120109/${WIKI}.bz2
21 #mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
24 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
25 WIKI=${L}wiktionary-20120106-pages-articles.xml
26 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120106/${WIKI}.bz2
28 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
31 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
32 WIKI=${L}wiktionary-20120110-pages-articles.xml
33 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120110/${WIKI}.bz2
35 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
38 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
39 WIKI=${L}wiktionary-20120111-pages-articles.xml
40 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120111/${WIKI}.bz2
42 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
45 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
46 WIKI=${L}wiktionary-20120108-pages-articles.xml
47 curl --remote-name http://dumps.wikimedia.org/${L}wiktionary/20120108/${WIKI}.bz2
49 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
51 echo "Done. Now run WiktionarySplitter to spit apart enwiktionary."