1 files changed, 35 insertions, 0 deletions
diff --git a/scripts/download-unicode-files.sh b/scripts/download-unicode-files.sh
new file mode 100755
index 0000000000..cb15270cf8
--- /dev/null
+++ b/scripts/download-unicode-files.sh
@@ -0,0 +1,35 @@
+#!/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
+)