search

genodelabs / genode-world

Collection of community-maintained components for Genode
Other
45 stars 47 forks source link

TempleOS ISO URL not working #151

Closed chelmuth closed 5 years ago

chelmuth commented 5 years ago

I don't know if this a temporary error but it happens since 2019-03-17.

> ./tool/depot/create genodelabs/raw/templeos
--2019-03-20 08:50:00--  http://www.templeos.org/TempleOS.ISO
Resolving www.templeos.org (www.templeos.org)... failed: Name or service not known.
wget: unable to resolve host address ‘www.templeos.org’
.../repos/world/recipes/raw/templeos/content.mk:6: recipe for target 'TempleOS.ISO' failed
make[4]: *** [TempleOS.ISO] Error 4
nfeske commented 5 years ago

Thanks @ehmry.