If you are talking about git submodules, try this:
git config --global url.https://github.com/.insteadOf git://github.com/
…taken from here.
This way, you don’t need to set any proxy, nor run any script.
If you are talking about git submodules, try this:
git config --global url.https://github.com/.insteadOf git://github.com/
…taken from here.
This way, you don’t need to set any proxy, nor run any script.