Movatterモバイル変換

Skip to content

unicode-rs/unicode-scriptPublic

NotificationsYou must be signed in to change notification settings
Fork10
Star10

Fix one instance of non-https curl#12

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.

Already on GitHub?Sign in to your account

Merged

Manishearth merged 1 commit intounicode-rs:masterfrommrluc:patch-1

Nov 22, 2021

Merged

Fix one instance of non-https curl#12

Manishearth merged 1 commit intounicode-rs:masterfrommrluc:patch-1

Nov 22, 2021

Conversation

@mrluc

Copy link

Contributor

mrluc commentedNov 22, 2021

http -> https cleanup similar toa recent unicode-security pr; a comment in that repo's unicode.py hinted that this repo had a similar script

unicode-script/scripts/unicode.py

Lines 58 to 63 in974eb90

	if"emoji"inf:
	os.system("curl -O https://www.unicode.org/Public/emoji/%s.%s/%s"
	% (UNICODE_VERSION[0],UNICODE_VERSION[1],f))
	else:
	os.system("curl -O http://www.unicode.org/Public/%s/ucd/%s"
	% (UNICODE_VERSION_NUMBER,f))

(apologies if these are noisy, I know they're not very substantive)

@mrluc

http -> https 1x in unicode.py

3571dac

@Manishearth

Manishearth merged commit683ae04 intounicode-rs:master

Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Labels

None yet

2 participants

@mrluc

@Manishearth

[8]ページ先頭

©2009-2025 Movatter.jp