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

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 5fa8968

Browse files
authored
Merge pull request unicode-rs#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