Developer gnome search is down since Monday

MichiB · February 13, 2020, 4:43pm

I noticed that the search engine (https://developer.gnome.org/) does not work since Monday.
Does this Affects you all, or is just a local (Germany) problem only?

If I try to search something I get the same message every time:

Not Found

The requested URL /symbols/ was not found on this server.

ebassi · February 13, 2020, 5:26pm

Please, file an issue on GitLab to let the system administrators know.

MichiB · February 13, 2020, 5:30pm

I did. I hope get fixes, because I use it every day.

ebassi · February 13, 2020, 5:32pm

I’d recommend using DevHelp locally, instead.

MichiB · February 13, 2020, 5:36pm

Thank you for your suggestion, but I provide Video documentation for Object Hierarchy on my YouTube Channel and I need that.

system · February 27, 2020, 5:36pm

This topic was automatically closed 14 days after the last reply. New replies are no longer allowed.