Tried copying over the $HOME/.hex directory as well then? I think on Windows $HOME was something like C:\Users\<YOU>\AppData\Roaming or close to it.

At one company I worked for years ago the devs ran our own VPN server at an external host to circumvent this kind of thing. I ran into one of the senior IT guys from that company later, who told me they knew about it, but made no fuss because they didn’t want too much scrutiny because they didn’t want knowledge of a porn server they ran for senior management to leak far. Seriously. I conceived a loathing then and there for the Australian business and tech world and tried to keep as far from it as I could consistent with surviving. It’s not quite as bad now from my few recent contacts with it.

This worked!

C:\Users<YOU>\ .mix
C:\Users<YOU>\ .hex

just copied those over from my dev machine

Have run into this severally at client sites (both windows server and windows 10)

What I do is simply request that the machine/account be granted the required internet permissions.

You may even have further issues if you need to run mix.deps down the line

Ah, that’s not even a discussion. If you’re supposed to do programming but can’t download your development environment then you might as well escalate your IT ticket to the CTO and take a 6-month long paid vacation until they sort out their dysfunctional bureaucracy.