mirror of
https://github.com/neovim/neovim.git
synced 2024-12-20 03:05:11 -07:00
36 lines
797 B
Bash
36 lines
797 B
Bash
|
#!/bin/sh
|
||
|
|
|
||
|
|
set -e
|
||
|
|
|
||
|
|
files="UnicodeData.txt CaseFolding.txt EastAsianWidth.txt"
|
||
|
|
|
||
|
|
UNIDIR_DEFAULT=unicode
|
||
|
|
DOWNLOAD_URL_BASE_DEFAULT='http://unicode.org/Public/UNIDATA'
|
||
|
|
|
||
|
|
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}
|
||
|
|
|
||
|
|
for filename in $files ; do
|
||
|
|
curl -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/$filename"
|
||
|
|
(
|
||
|
|
cd "$UNIDIR"
|
||
|
|
git add $filename
|
||
|
|
)
|
||
|
|
done
|
||
|
|
|
||
|
|
(
|
||
|
|
cd "$UNIDIR"
|
||
|
|
git commit -m "Update unicode files" -- $files
|
||
|
|
)
|