2020-09-06 11:53:08 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
|
2023-12-05 09:51:16 -06:00
|
|
|
url="ftp://ftp.unicode.org/Public/15.0.0/ucd"
|
2020-09-06 12:02:03 -05:00
|
|
|
emoji_url="${url}/emoji/emoji-data.txt"
|
2020-09-06 11:53:08 -05:00
|
|
|
|
|
|
|
|
files="CaseFolding.txt DerivedNormalizationProps.txt PropList.txt \
|
|
|
|
|
SpecialCasing.txt CompositionExclusions.txt ScriptExtensions.txt \
|
|
|
|
|
UnicodeData.txt DerivedCoreProperties.txt NormalizationTest.txt Scripts.txt \
|
|
|
|
|
PropertyValueAliases.txt"
|
|
|
|
|
|
|
|
|
|
mkdir -p unicode
|
|
|
|
|
|
2022-03-06 12:00:24 -06:00
|
|
|
for f in $files; do
|
|
|
|
|
g="${url}/${f}"
|
|
|
|
|
wget $g -O unicode/$f
|
|
|
|
|
done
|
2020-09-06 11:53:08 -05:00
|
|
|
|
|
|
|
|
wget $emoji_url -O unicode/emoji-data.txt
|
