Poliastro: Docs search is broken

Created on 19 Jan 2021  路  5Comments  路  Source: poliastro/poliastro

We are getting this error and empty search results:

https://github.com/sphinx-doc/sphinx/issues/5460

It looks like this solution works: https://github.com/agentos-project/agentos/pull/17/files

bug documentation good first issue

Most helpful comment

Hello @Yash-10 ! What I'm looking for is for a first-time contributor to send a PR implementing that solution :) Please leave this one for newcomers, because it's a perfect good first issue. Thanks!

All 5 comments

Hello,

The above solution obviously works as I tested it locally. Previously the search results hanged and didn't render any results after searching but adding that line made it work.

Could you please tell me as to what are we looking for here exactly @astrojuanlu ?

Thanks!!

Hello @Yash-10 ! What I'm looking for is for a first-time contributor to send a PR implementing that solution :) Please leave this one for newcomers, because it's a perfect good first issue. Thanks!

Ok, no problem. I'll leave this :)

Thanks!!

@astrojuanlu I can help with this one! I'll submit a PR per the poliastro contributing guidelines.

Fixed in gh-1090!

Was this page helpful?
0 / 5 - 0 ratings

Related issues

astrojuanlu picture astrojuanlu  路  6Comments

void4 picture void4  路  6Comments

astrojuanlu picture astrojuanlu  路  6Comments

astrojuanlu picture astrojuanlu  路  6Comments

astrojuanlu picture astrojuanlu  路  7Comments