blob: 550ef8292b6f31fe1f67247e9018ebc388ebd012 (
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
26
27
28
29
30
|
#!/bin/sh
cd "${0%/*}/.."
mkdir -p data
readonly BASE=https://www.unicode.org/Public/UCD/latest/ucd
readonly URLS='
auxiliary/GraphemeBreakProperty.txt
BidiBrackets.txt
DerivedCoreProperties.txt
DerivedNormalizationProps.txt
emoji/emoji-data.txt
extracted/DerivedBinaryProperties.txt
extracted/DerivedDecompositionType.txt
extracted/DerivedEastAsianWidth.txt
extracted/DerivedLineBreak.txt
extracted/DerivedNumericType.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
|
