GitHub Community
Why requests to "miktex.org" domain does not work in codespace? #57663
-
Select Topic AreaQuestion BodyCan't install MikTeX because requests to miktex.org domain are not working, anyone can help me to undestand if it is possible to unblock this domain in codespace? |
Beta Was this translation helpful? Give feedback.
Replies: 1 comment 6 replies
-
|
Try a mirror: https://mirror.ctan.org/systems/win32/miktex/ |
Beta Was this translation helpful? Give feedback.
-
Beta Was this translation helpful? Give feedback.
-
|
That's strange ... I could not install the .deb, a lot of problems with dependecies ... Did you have luck? |
Beta Was this translation helpful? Give feedback.
-
|
oops. You need: https://mirror.las.iastate.edu/tex-archive/systems/win32/miktex/setup/deb/pool/universe/m/miktex/miktex_23.5-focal1_amd64.deb Try wget "https://mirror.las.iastate.edu/tex-archive/systems/win32/miktex/setup/deb/pool/universe/m/miktex/miktex_23.5-focal1_amd64.deb"
sudo apt update && sudo apt install ./miktex_23.5-focal1_amd64.deb |
Beta Was this translation helpful? Give feedback.
-
|
that is, you need focal instead of jammy |
Beta Was this translation helpful? Give feedback.
-
|
I tried with bullseye, but not with focal, that's it. thanks. |
Beta Was this translation helpful? Give feedback.
-
|
Could you mark it as answered so that people with the same issue find it more easily? |
Beta Was this translation helpful? Give feedback.
oops. You need: https://mirror.las.iastate.edu/tex-archive/systems/win32/miktex/setup/deb/pool/universe/m/miktex/miktex_23.5-focal1_amd64.deb
Try