diff --git a/scripts/download-unicode-files.sh b/scripts/download-unicode-files.sh deleted file mode 100755 index f0fd4c66ea..0000000000 --- a/scripts/download-unicode-files.sh +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh - -set -e -data_files="UnicodeData.txt CaseFolding.txt EastAsianWidth.txt" -emoji_files="emoji-data.txt" -files="'$data_files $emoji_files'" - -UNIDIR_DEFAULT=src/unicode -DOWNLOAD_URL_BASE_DEFAULT='http://unicode.org/Public' - -if test "$1" = '--help' ; then - echo 'Usage:' - echo " $0[ TARGET_DIRECTORY[ URL_BASE]]" - echo - echo "Downloads files $files to TARGET_DIRECTORY." - echo "Each file is downloaded from URL_BASE/\$filename." - echo - echo "Default target directory is $PWD/${UNIDIR_DEFAULT}." - echo "Default URL base is ${DOWNLOAD_URL_BASE_DEFAULT}." - exit 0 -fi - -UNIDIR=${1:-$UNIDIR_DEFAULT} -DOWNLOAD_URL_BASE=${2:-$DOWNLOAD_URL_BASE_DEFAULT} - -for filename in $data_files ; do - curl -L -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/UNIDATA/$filename" - git -C "$UNIDIR" add "$filename" -done - -for filename in $emoji_files ; do - curl -L -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/UNIDATA/emoji/$filename" - git -C "$UNIDIR" add "$filename" -done - -git -C "$UNIDIR" commit -m "feat: update unicode tables" .