Add selection of Pypi mirrors in the GUI

[jfthuong]

📝 Description of the feature

In some countries (e.g. China), access to Pypi is a bit slow, especially when downloading huge modules like Tensorflow and other ML modules.

An efficient solution is to setup a mirror site for Pypi. For example in China you can use https://pypi.tuna.tsinghua.edu.cn.

It would be nice to have a way to set-up a mirror, and even nicer to have a pre-polulated list.

Also, some users might use a private Pypi server in their company, which uses the same concept

💡 Steps for implementing the feature

• Find a list of the best pypi mirror servers
• Update the UI to be able to select one and add your own
• Update the backend to launch pip with this server

🔗 Useful links and references

To use pip with a mirror:
pip install -i https://pypi.tuna.tsinghua.edu.cn/simple some-package

To set as default:
pip config set global.index-url https://pypi.tuna.tsinghua.edu.cn/simple

Documentation of 2 mirrors (both in China):

• https://mirror.tuna.tsinghua.edu.cn/help/pypi/
• https://mirrors.sustech.edu.cn/help/pypi.html#_2-configure-index-url

[hh-wu]

I have test the url format of the mirror in PRC.

PYTHON_URLS = {
    'PRC': {
        'python_mirror': 'https://registry.npmmirror.com/-/binary/python/{selected_version}/python-{selected_version}-amd64.exe',
        'pypi_mirror': "https://mirrors.tuna.tsinghua.edu.cn/pypi/web/json/{pkg_name}"
    },
    'Defaults': {
        'python_mirror': "https://www.python.org/ftp/python/{selected_version}/python-{selected_version}-amd64.exe",
        'pypi_mirror': "https://pypi.python.org/pypi/{pkg_name}/json",
    }
}

[RobPasMue]

Hi @hh-wu @jfthuong - this might be a great addition. Currently my support to this project is limited but I will try to do my best to implement it over the next couple of weeks. I do find value in your proposed issue - I understand that some countries might have restrictions and issues with the main server bandwidth. Feel free to open a PR in the meantime to implement this. Otherwise I will try to support it in a couple of weeks. =)

[jfthuong]

Some other pointers to help implementing:

https://stackoverflow.com/a/6160222/1603480

The [YUM fastestmirror plugin][1] uses a crude method of timing how long it takes to connect to a port on the remote server. Whilst its crude, it measures lag rather than bandwidth, it is fairly effective:

    time_before = time.time()
    sock.connect((self.host, self.port))
    result = time.time() - time_before
    sock.close()

List of Mirrors (for China): https://charly-lersteau.com/blog/2019-11-24-faster-python-pip-install-mirrors/ and https://xnnehang-4519.xlog.app/Dive-Into-tooluvindex-wei-uv-pei-zhi-Python-jing-xiang-yuan--pai-chu-pypi--explicit-he-default-can-shu--yi-ji-None-can-shu

Tsinghua source

https://pypi.tuna.tsinghua.edu.cn/simple

Aliyun source

https://mirrors.aliyun.com/pypi/simple/

Tencent source

http://mirrors.cloud.tencent.com/pypi/simple

Douban source

http://pypi.douban.com/simple/