dub
dub copied to clipboard
Some built-in mirrors not working anymore
the following built-in mirrors are no longer functional, they should probably be removed from the built-in mirror list or be fixed by the D foundation to actually mirror:
- https://codemirror.dlang.org/
- https://code-mirror.dlang.io/
also does anyone know who is hosting https://dub.bytecraft.nl/ ? (still works)
Um, not sure why the DNS configuration for codemirror.dlang.org was changed. The server is still running.
The foundation took over the DNS administration. This was probably missed. Cc @mdparker @ibuclaw
I have no idea how the zones were migrated, but they did lose a number of records. If you have an idea of what the old DNS configuration was, then feel free to shoot them over to me.
This is what I'm able to recover by poking the old authoritative nameservers.
codemirror.dlang.org. 3600 IN A 31.15.67.41
code-mirror.dlang.io. 1800 IN A 139.99.42.12
code-mirror2.dlang.io. 1800 IN CNAME srv2.wilzbach.me.
code-mirror3.dlang.io. 1800 IN CNAME dub-registry.herokuapp.com.
Any confirmation of the above? Any new found missing records?
codemirror.dlang.org is working now. code-mirror2.dlang.io and code-mirror3.dlang.io point to servers that have been taken down some time ago, AFAIR, so those can be dropped. I'm not sure about code-mirror.dlang.io, though, it's still listed in dub's source code, but the IP address appears to point to nirvana.
@s-ludwig : https://codemirror.dlang.org/ gives a bad gateway (502) ATM.
https://code-mirror.dlang.io/
Still unreachable. As for https://dub.bytecraft.nl/ it seems down now (CC @skoppe I assume that is you?).
I don't think its down, just out of date since github stopped running my schedulded sync job.
I have enabled it for now, but need to find a better place.