mirror of
https://github.com/neovim/neovim.git
synced 2024-12-26 14:11:15 -07:00
37 lines
1018 B
Bash
Executable File
37 lines
1018 B
Bash
Executable File
#!/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" .
|