I am at work, where we have some security constraints :
- Some websites are blocked
- I have no admin privileges
I have installed MiKTeX portable without any difficulty. I can launch the package manager, but it always fails to connect to the server when trying to install packages.
I'm thinking the repository it's trying to connect to is not allowed by my company. Let's use a mirror.
I have read that question and it's exactly what I want to do.
However, when it tries to load the list of repositories, I get a connection error message.
MiKTeX Problem Report
Message: Couldn't connect to server
OS: Windows 7 Enterprise, 64-bit, Service Pack 1, build 7601
What can I do? Is there a config file where I could set the repository I want to use?