8000 Merge pull request #87 from chrissimpkins/unicode-13 · unicode-rs/unicode-segmentation@5fa8968 · GitHub
[go: up one dir, main page]

Skip to content

Commit 5fa8968

Browse files
authored
Merge pull request #87 from chrissimpkins/unicode-13
Unicode 13.0.0 update
2 parents d1ae69c + 8a23a6e commit 5fa8968

File tree

3 files changed

+845
-804
lines changed

3 files changed

+845
-804
lines changed

scripts/unicode.py

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@
5454
# these are the surrogate codepoints, which are not valid rust characters
5555
surrogate_codepoints = (0xd800, 0xdfff)
5656

57-
UNICODE_VERSION = (12, 0, 0)
57+
UNICODE_VERSION = (13, 0, 0)
5858

5959
UNICODE_VERSION_NUMBER = "%s.%s.%s" %UNICODE_VERSION
6060

@@ -64,10 +64,10 @@ def is_surrogate(n):
6464
def fetch(f):
6565
if not os.path.exists(os.path.basename(f)):
6666
if "emoji" in f:
67-
os.system("curl -O https://www.unicode.org/Public/emoji/%s.%s/%s"
68-
% (UNICODE_VERSION[0], UNICODE_VERSION[1], f))
67+
os.system("curl -O https://www.unicode.org/Public/%s/ucd/emoji/%s"
68+
% (UNICODE_VERSION_NUMBER, f))
6969
else:
70-
os.system("curl -O http://www.unicode.org/Public/%s/ucd/%s"
70+
os.system("curl -O https://www.unicode.org/Public/%s/ucd/%s"
7171
% (UNICODE_VERSION_NUMBER, f))
7272

7373
if not os.path.exists(os.path.basename(f)):

0 commit comments

Comments
 (0)
0