Quel est le moteur de recherche utilisé dans la nouvelle documentation Python?

Question

Est-il intégré à Sphinx ?

Answer 1

On dirait que Sphinx contient son propre moteur de recherche en anglais. Voir http://sphinx.pocoo.org/_static/searchtools.js et searchindex. js / .json (voir index de la documentation Sphinx . 36 Ko, Index de documents Python 857 Ko, et Documents Grok (37 Ko).

L'index est précalculé lorsque des documents sont générés.

Lors de recherches, une page statique est chargée, puis _static / searchtools.js extrait les termes de recherche de la chaîne de requête, les normalise (casse, racine, etc.) et les recherche dans searchindex.js au fur et à mesure de leur chargement.

La première tentative de recherche prend un temps assez long, les consécutives étant beaucoup plus rapides car l'index est mis en cache dans votre navigateur.

Answer 2

Le moteur de recherche Sphinx est construit en Javascript. Il utilise JQuery et un fichier javascript (parfois très gros) contenant les termes de recherche.

Answer 3

Oui. Sphinx n'est pas intégré, cependant. Le widget de recherche fait partie de sphinx. Quel contexte avez-vous voulu dire par "intégré"?

Sur la page elle-même: http://docs.python.org/about.html

http://sphinx.pocoo.org/