12345678910111213141516171819202122232425262728293031323334353637 |
- #!/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" .
|