2015-03-15 11:28:38 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
2016-09-21 07:15:19 -07:00
|
|
|
data_files="UnicodeData.txt CaseFolding.txt EastAsianWidth.txt"
|
|
|
|
emoji_files="emoji-data.txt"
|
2015-03-15 11:28:38 -07:00
|
|
|
|
|
|
|
UNIDIR_DEFAULT=unicode
|
2016-09-21 07:15:19 -07:00
|
|
|
DOWNLOAD_URL_BASE_DEFAULT='http://unicode.org/Public'
|
2015-03-15 11:28:38 -07:00
|
|
|
|
|
|
|
if test x$1 = 'x--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}."
|
|
|
|
fi
|
|
|
|
|
|
|
|
UNIDIR=${1:-$UNIDIR_DEFAULT}
|
|
|
|
DOWNLOAD_URL_BASE=${2:-$DOWNLOAD_URL_BASE_DEFAULT}
|
|
|
|
|
2016-09-21 07:15:19 -07:00
|
|
|
for filename in $data_files ; do
|
2017-06-29 14:44:47 -07:00
|
|
|
curl -L -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/UNIDATA/$filename"
|
2016-09-21 07:15:19 -07:00
|
|
|
(
|
|
|
|
cd "$UNIDIR"
|
|
|
|
git add $filename
|
|
|
|
)
|
|
|
|
done
|
|
|
|
|
|
|
|
for filename in $emoji_files ; do
|
2020-10-04 08:50:29 -07:00
|
|
|
curl -L -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/UNIDATA/emoji/$filename"
|
2015-03-15 11:28:38 -07:00
|
|
|
(
|
|
|
|
cd "$UNIDIR"
|
|
|
|
git add $filename
|
|
|
|
)
|
|
|
|
done
|
|
|
|
|
|
|
|
(
|
|
|
|
cd "$UNIDIR"
|
|
|
|
git commit -m "Update unicode files" -- $files
|
|
|
|
)
|