Add script to update UnicodeData.txt
1 files changed, 6 insertions(+), 0 deletions(-) A src/update_unicode_data.sh
A src/update_unicode_data.sh => src/update_unicode_data.sh +6 -0
@@ 0,0 1,6 @@ +#!/bin/sh +set -eu +file_name=UnicodeData.txt +curl https://unicode.org/Public/UNIDATA/"$file_name" \ + | head -c -1 \ + > "$file_name"< \ No newline at end of file