[docs] [issue23613] searchindex.js is annoying

Antoine Pitrou report at bugs.python.org
Sun Mar 8 20:36:00 CET 2015

New submission from Antoine Pitrou:

Since I get hit by this at least once a week, I thought I'd finally report a bug. The Doc/build/html/searchindex.js file is extremely annoying when grepping through the source tree (and especially when grepping in the docs), because it's very likely to match your search *and* it seems made of a huge single line of text, meaning the grep output now fills your terminal with junk.

assignee: docs at python
components: Documentation
messages: 237557
nosy: docs at python, pitrou
priority: normal
severity: normal
status: open
title: searchindex.js is annoying
type: behavior
versions: Python 3.4, Python 3.5

Python tracker <report at bugs.python.org>

More information about the docs mailing list