@thaJeztah What about this pull request now? :)

Sorry for the delay, @Hyzhou, let me try to ping @dmp42 @andrewhsu again - PTAL

Is there a reason why this has to be modified for every provider? Perhaps there should be a way to specify the mirror as a string which represents the URL where the mirror can be found?

I have some use cases for using a local mirror. It wouldn't always be the same mirror. Even without my particular use case, it'd be nice to not have to add a special case for every single mirror. I can imagine others might want to use their own mirror as well.

@unclejack if you want to use your own mirror, it's probably best to write a custom script; I don't think we should allow setting any arbitrary mirror in the install script

@thaJeztah I understand that. However, I can't say adding mirrors one by one is better either.

@unclejack China is special. I don't think we should add more in there.

@thaJeztah I think this is fine and we should merge this, unless there is an issue?

cc @friism