Couldn't resolve host name

[olivleno]

This what the message window tells me:
[1] 20:32:36 Error
Curl error for URL ​https://libraries.openmodelica.org/index/v1/index.json: Couldn't resolve host name

[2] 20:32:36 Scripting Error
Failed to download package index ​https://libraries.openmodelica.org/index/v1/index.json to file C:/Users/xxx/AppData/Roaming/.openmodelica/libraries/index.json.

[casella]

Sounds like a problem with the package manager. I checked the URL which is alive now. Maybe you didn't have a working internet connection.

@sjoelund.se, of course OMEdit should also work when disconnected from the grid, possibly with a warning (like: non news in OMEdit), but not with an error.

[olivleno]

Now a day and reboots later and it works.

[casella]

Sounds good. But I think we should make sure that OpenModelica can also (occasionally) work offline.

[sjoelund.se]

It will only download the index once. And it only does it if there is a uses-annotation somewhere on a package you don't have installed.

If it doesn't find the index, it will just continue without the package. So it should still work.

Of course, if you do intend to use the package manager, it needs to work. I'm not sure if it works with a proxy server because I haven't used one since the 90s.