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
14 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
16 echo "Downloading from: http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/"
18 curl -L --remote-name http://ftp.tu-chemnitz.de/pub/Local/urz/ding/de-en-devel/${CHEMNITZ}.gz
20 mv ${CHEMNITZ} inputs/de-en_chemnitz.txt
23 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
24 WIKI=${L}wiktionary-latest-pages-articles.xml
25 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
26 bunzip2 --force ${WIKI}.bz2
27 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
30 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
31 WIKI=${L}wiktionary-latest-pages-articles.xml
32 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
34 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
37 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
38 WIKI=${L}wiktionary-latest-pages-articles.xml
39 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
41 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
44 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
45 WIKI=${L}wiktionary-latest-pages-articles.xml
46 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
48 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
51 echo "Downloading from: http://dumps.wikimedia.org/${L}wiktionary/"
52 WIKI=${L}wiktionary-latest-pages-articles.xml
53 curl -L --remote-name http://dumps.wikimedia.org/${L}wiktionary/latest/${WIKI}.bz2
55 mv ${WIKI} inputs/${L}wiktionary-pages-articles.xml
57 echo "Done. Now run WiktionarySplitter to split apart enwiktionary."