search

DOMjudge / domjudge

DOMjudge programming contest jury system
https://www.domjudge.org
GNU General Public License v2.0
720 stars 254 forks source link

Search in DOMjudge manual broken #2358

Closed meisterT closed 6 months ago

meisterT commented 7 months ago

Example URL: https://www.domjudge.org/docs/manual/8.2/search.html?q=.netrc&check_keywords=yes&area=default#

This displays "Searching..." but never a result.

In the webdev console I see these errors which are likely related:

search.html?q=.netrc&check_keywords=yes&area=default:126 Uncaught ReferenceError: jQuery is not defined
    at search.html?q=.netrc&check_keywords=yes&area=default:126:7
(anonymous) @ search.html?q=.netrc&check_keywords=yes&area=default:126
search.html?q=.netrc&check_keywords=yes&area=default:131 Uncaught ReferenceError: jQuery is not defined
    at search.html?q=.netrc&check_keywords=yes&area=default:131:5
meisterT commented 6 months ago

For 8.1 and 8.2, I fixed it manually with the help from @brinky .

For main, we would likely need to update https://packages.debian.org/bookworm/sphinx-rtd-theme-common to 1.2.1 which is not available in bookworm.

meisterT commented 6 months ago

Ok, we found that we use a virtualenv to build it and then ran the upgrade in the virtualenv

(.venv) domjudge@dom:~/bin$ pip install --dry-run --upgrade sphinx_rtd_theme==1.2.1

That fixed it.