diff options
author | Thomas Voss <mail@thomasvoss.com> | 2024-04-01 16:02:51 +0200 |
---|---|---|
committer | Thomas Voss <mail@thomasvoss.com> | 2024-04-01 16:02:51 +0200 |
commit | b8d4aa9c336304ccf4c58c770065289b076c37a7 (patch) | |
tree | f3aacc02dbfd92a418c803624ad2d199b9c06957 /gen | |
parent | 05350ec0ed848cd74bc28cb87c540c6a6f8e22d0 (diff) |
Simplify script
Diffstat (limited to 'gen')
-rwxr-xr-x | gen/data-files | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/gen/data-files b/gen/data-files index 69ad9ba..c93551d 100755 --- a/gen/data-files +++ b/gen/data-files @@ -4,15 +4,18 @@ cd "${0%/*}/.." mkdir -p data +readonly BASE=https://www.unicode.org/Public/UCD/latest/ucd + readonly URLS=' -https://www.unicode.org/Public/UCD/latest/ucd/auxiliary/GraphemeBreakProperty.txt -https://www.unicode.org/Public/UCD/latest/ucd/DerivedCoreProperties.txt -https://www.unicode.org/Public/UCD/latest/ucd/emoji/emoji-data.txt +auxiliary/GraphemeBreakProperty.txt +DerivedCoreProperties.txt +emoji/emoji-data.txt +UnicodeData.txt ' for url in $URLS do name="data/${url##*/}" - test -f "$name" || wget -q "$url" -O "$name" & + test -f "$name" || wget -q "$BASE/$url" -O "$name" & done wait |