Setting proxy configurations for MiKTeX updating
Updating MiKTeX
Introduction
If you have installed MiKTeX through Chocolatey, it won't work properly until some updates to the toolkits have been installed. Since this requires at least partial access to the internet, some configuration needs to be done beforehand. This article aims to give a step-by-step instruction on how to set up MiKTeX in your virtual machine so you can make proper use of this toolkit.
Since this procedure makes use of allowlisting and administrator mode within the VM, you need at least Privileged Member access to the workspace!
Prerequisites
The following domains need to be added to the workspace allowlist:
- miktex.org
- mirror.koddos.net
- ctan.asis.ai
- ctan.javinator9889.com
This list is up to date as of April 2024! Please keep in mind that, as MiKTeX receives new updates which might be hosted on different domains, these additional domains also have to be added to the allowlist. The MiKTeX console will provide the information on which domains it couldn't access in such a case.
Configuring the proxy-settings for MiKTeX
1. Go to your virtual machine which has MiKTeX installed.
2. Open the MiKTeX console. Make sure you do this with 'Run as administrator' by right-clicking the application launcher.
3. You will be greeted with an error that no administrator has checked for updates yet. Click OK.
4. In the MiKTeX console, click on 'Switch to MiKTeX administrator mode'.
5. The console will now restart and give the same error as before.
6. On the left side, click on 'Updates' and then on the button 'Change...' on the right side. This will open another window to change the package repository.
7. Click on 'Connection Settings' and change it to the following:
8. Click OK and close all the configuration windows to go back to the console's update menu. There, click on 'Check for updates'. This process can take up to a minute to complete.
9. Once all the updates have been collected, click on 'Update Now'. The console will restart itself after the updating is complete. The error pop-up should not reappear.
10. To mitigate any potential security risk, remove the domains listed under Prerequisites from the allowlist again.
Related Articles
Proxy configurations for connecting to a server or blob
Version: 2022-11-02 Update: 2022-11-14 Introduction Domain allowlisting is a selfservice feature that is now available on myDRE. As the name implies, domains on the allowlist can be accessed from within the Workspace (you can request specific domain ...Proxy configurations Anaconda
First version: 2022-10-31 Latest version: 2023-11-16 Last change(s): Clarification in the introduction; clarifying instructions; added screenshots. This is a community effort. The article was created by the anDREa Support Team in their spare time. If ...Turn Proxy Off/On on Linux VM
1. Log in to the Linux VM 2. Write command sudo nano /etc/environment press enter and enter your password 3. comment out all the content that you find in there e.g #http_proxy="http://127.0.0.1:8080" 4. Press ctrl + x to exit, save with y and press ...[Mitigated] Proxy server showing unhealthy status
What happened? Our monitoring system alerted us on 2023-12-20 at 11:45 (GMT+1) that our proxy server returned an unhealthy status. This might affect your experience with reaching the Z: drive and domain allowlisting. We've immediately started the ...Attention UMCU workspace users: updating network rules today
IMPORTANT for UMCU Workspace Users: We are updating some network rules today, 2021/10/11, between 18:30 and 20:30. If you are already logged in, it will not impact you. If you try to login in during this period, you might experience you can't login, ...