pushd
pushd copied to clipboard
Http-Proxy-Support
We are forced to use a http-Proxy. Is it possible to use a http(s)-proxy in pushd?
I guess not, but this Github project has proxy support on its feature list. So I would suggest giving that one a go first.
Did anybody came up with a solution for using a proxy?