diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-04-16 14:01:31 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-04-16 14:01:31 +0200 |
| commit | 632e300c80cb9349b31880e3a43f94e0358fc78c (patch) | |
| tree | 852a1f3afdce38fcde7eb8227dae55f579f5face /gen | |
| parent | 426f25eeb71aae2e15bcce601a65fd77b71d3e88 (diff) | |
Pin to Unicode 15.1 for now
Diffstat (limited to 'gen')
| -rwxr-xr-x | gen/data-files | 4 |
1 files 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 |