blob: b6b46581f893b70bef4884e1d7af5034079720a8 (
plain)
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/bash
files='Blocks.txt CaseFolding.txt DerivedAge.txt DerivedCoreProperties.txt PropertyAliases.txt PropertyValueAliases.txt PropList.txt Scripts.txt SpecialCasing.txt UnicodeData.txt auxiliary/GraphemeBreakProperty.txt'
emoji_files='emoji-data.txt'
if [ -z $1 ] || [ -z $2 ]; then
echo "usage: $0 UNICODE_VERSION EMOJI_VERSION"
exit 1
fi
UNICODE_VERSION=$1
EMOJI_VERSION=$2
# remove old files
if [ -d $UNICODE_VERSION ]; then
cd $UNICODE_VERSION
rm -f $files $emoji_files
rm -f GraphemeBreakProperty.txt
cd -
fi
mkdir -p $UNICODE_VERSION/auxiliary
cd $UNICODE_VERSION
for i in $files; do
echo http://www.unicode.org/Public/${UNICODE_VERSION}/ucd/$i
done | xargs wget
mv GraphemeBreakProperty.txt auxiliary
for i in $emoji_files; do
echo http://www.unicode.org/Public/${EMOJI_VERSION}/ucd/emoji/$i
done | xargs wget
|