RIME Input | curl: (6) Could not resolve host: raw.githubusercontent.com

My Chinese friend's computer is behind a proxy. He got this error and wondering why:

# Windows Command Prompt

Rime package installer

Working directory: C:\Program Files\Rime\weasel-0.16.1
Package installer directory: C:\Program Files\Rime\weasel-0.16.1\
Download cache directory: C:\Users\admin\AppData\Local\Temp
Rime user directory: C:\Users\admin\AppData\Roaming\Rime


Enter package name, URL, user/repo or downloaded ZIP to install: double-pinyin
Downloading rime-install ...
curl: (6) Could not resolve host: raw.githubusercontent.com

Installation failed: Error downloading rime-install

The problems:

1. Firewall blocked target domain.
2. Windows Command Prompt (CMD) does not use system proxy by default, you should set HTTP_PROXY and HTTPS_PROXY env vars to tell it.
3. Rime package installer is running in a separated CMD session, should set proxy relates env vars individually.

Solution：

# Under C:\Program Files\Rime\weasel-0.16.1
set HTTP_PROXY=http://ADDRESS:PORT
set HTTPS_PROXY=%HTTP_PROXY%
rime-install