mirror of
https://github.com/neovim/neovim.git
synced 2024-12-24 05:05:00 -07:00
d533edf61e
Problem: Although emoji characters are ambiguous width, best is to treat
them as full width.
Solution: Update the Unicode character tables. Add the 'emoji' options.
(Yasuhiro Matsumoto)
3848e00e01
44 lines
993 B
Bash
Executable File
44 lines
993 B
Bash
Executable File
#!/bin/sh
|
|
|
|
set -e
|
|
data_files="UnicodeData.txt CaseFolding.txt EastAsianWidth.txt"
|
|
emoji_files="emoji-data.txt"
|
|
|
|
UNIDIR_DEFAULT=unicode
|
|
DOWNLOAD_URL_BASE_DEFAULT='http://unicode.org/Public'
|
|
|
|
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 $data_files ; do
|
|
curl -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/UNIDATA/$filename"
|
|
(
|
|
cd "$UNIDIR"
|
|
git add $filename
|
|
)
|
|
done
|
|
|
|
for filename in $emoji_files ; do
|
|
curl -o "$UNIDIR/$filename" "$DOWNLOAD_URL_BASE/emoji/3.0/$filename"
|
|
(
|
|
cd "$UNIDIR"
|
|
git add $filename
|
|
)
|
|
done
|
|
|
|
(
|
|
cd "$UNIDIR"
|
|
git commit -m "Update unicode files" -- $files
|
|
)
|