From 632e300c80cb9349b31880e3a43f94e0358fc78c Mon Sep 17 00:00:00 2001 From: Thomas Voss Date: Tue, 16 Apr 2024 14:01:31 +0200 Subject: Pin to Unicode 15.1 for now --- gen/data-files | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gen/data-files b/gen/data-files index 8fcaf22..156e4d5 100755 --- a/gen/data-files +++ b/gen/data-files @@ -4,7 +4,7 @@ cd "${0%/*}/.." mkdir -p data -readonly BASE=https://www.unicode.org/Public/UCD/latest/ucd +readonly BASE='https://www.unicode.org/Public/15.1.0/ucd' readonly PATHS=' auxiliary/GraphemeBreakProperty @@ -33,6 +33,6 @@ VerticalOrientation for path in $PATHS do name="data/${path##*/}" - test -f "$name" || wget -q "$BASE/$path.txt" -O "$name" & + wget -q "$BASE/$path.txt" -O "$name" & done wait -- cgit v1.2.3