download.mappings.properties

# Default download server. It lists mirrors which may be faster.
base-url=http://dumps.wikimedia.your.org/

# the source file name
# should be the same as in universal.properties
# source=pages-articles.xml.bz2

# languages to download
languages=@mappings

# Unzip files while downloading? Not necessary, extraction will unzip on the fly. Let's save space.
unzip=false

# Sometimes connecting to the server fails, so we try five times with pauses of 10 seconds.
retry-max=5
retry-millis=10000

#for specific dump dates (e.g. 20170101) if empty: the most recent dump-date is used
dump-date=