blob: a3df9f354853033970d27c182efd7872f8d62831 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
#!/bin/sh
cd "${0%/*}/.."
mkdir -p data
readonly BASE=https://www.unicode.org/Public/UCD/latest/ucd
readonly URLS='
auxiliary/GraphemeBreakProperty.txt
DerivedCoreProperties.txt
DerivedNormalizationProps.txt
emoji/emoji-data.txt
extracted/DerivedBinaryProperties.txt
extracted/DerivedNumericValues.txt
PropList.txt
UnicodeData.txt
'
for url in $URLS
do
name="data/${url##*/}"
test -f "$name" || wget -q "$BASE/$url" -O "$name" &
done
wait
|
