blob: 3c87b734c5a429ea6261e5a7ec8ed277c2b08fdf (
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
|
#!/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/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
|