aboutsummaryrefslogtreecommitdiff
path: root/gen/data-files
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-04-01 16:02:51 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-04-01 16:02:51 +0200
commitb8d4aa9c336304ccf4c58c770065289b076c37a7 (patch)
treef3aacc02dbfd92a418c803624ad2d199b9c06957 /gen/data-files
parent05350ec0ed848cd74bc28cb87c540c6a6f8e22d0 (diff)
Simplify script
Diffstat (limited to 'gen/data-files')
-rwxr-xr-xgen/data-files11
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