7 echo "Note that unzipping is slow."
10 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
11 WIKI=${L}wiktionary-latest-pages-articles.xml
12 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
13 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
15 echo "Downloading from: http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/"
17 curl -L --remote-name http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/${CHEMNITZ}.gz
18 mv ${CHEMNITZ}.gz inputs/de-en_chemnitz.txt.gz
21 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
22 WIKI=${L}wiktionary-latest-pages-articles.xml
23 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
24 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
27 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
28 WIKI=${L}wiktionary-latest-pages-articles.xml
29 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
30 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
33 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
34 WIKI=${L}wiktionary-latest-pages-articles.xml
35 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
36 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
39 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
40 WIKI=${L}wiktionary-latest-pages-articles.xml
41 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
42 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
45 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
46 WIKI=${L}wiktionary-latest-pages-articles.xml
47 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
48 mv ${WIKI}.bz2 inputs/${L}wiktionary-pages-articles.xml.bz2
50 echo "Done. Now run WiktionarySplitter to split apart enwiktionary."