2020-09-06 16:53:08 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
set -e
|
|
|
|
|
|
2023-12-05 15:51:16 +00:00
|
|
|
url="ftp://ftp.unicode.org/Public/15.0.0/ucd"
|
2020-09-06 17:02:03 +00:00
|
|
|
emoji_url="${url}/emoji/emoji-data.txt"
|
2020-09-06 16:53:08 +00: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 18:00:24 +00:00
|
|
|
for f in $files; do
|
|
|
|
|
g="${url}/${f}"
|
|
|
|
|
wget $g -O unicode/$f
|
|
|
|
|
done
|
2024-10-24 19:25:35 +00:00
|
|
|
|
2020-09-06 16:53:08 +00:00
|
|
|
wget $emoji_url -O unicode/emoji-data.txt
|
