[issue23613] searchindex.js is annoying

Georg Brandl added the comment: Most important reason to close this: this is not something to change in Python, but would have to be changed in Sphinx. -- resolution: -> third party status: open -> closed ___ Python tracker

[issue23613] searchindex.js is annoying

R. David Murray added the comment: Martin's solution is similar to the one I use except that I made an alias for it and I also exclude topics.py. Which is a tracked file. It seems that what one wants to ignore is a bit of a personal decision, and so it is probably best left up to the individ

[issue23613] searchindex.js is annoying

Martin Panter added the comment: My own one-liner kicking around in my Bash history that uses GNU Grep options to avoid specific files and directories: grep -r . --exclude-dir={.git,.hg} --exclude={refcounts.dat,"*.js"} -nIwe PIPE_MAX_SIZE -- nosy: +vadmium __

[issue23613] searchindex.js is annoying

Serhiy Storchaka added the comment: Lib/pydoc_data/topics.py was extremely annoying to me for the same reason. I even didn't know about Doc/build/html/searchindex.js because it has different extension. Finally I had written few scripts like: $ cat ~/bin/findpy #!/bin/sh find * -name '*.py' ! -

[issue23613] searchindex.js is annoying

Marc-Andre Lemburg added the comment: On 08.03.2015 20:57, Antoine Pitrou wrote: > > Antoine Pitrou added the comment: > >> Well, that's not useful in a generated file. > > Well, here's a case where it's useful... Asking me to change tools is quite > obvious and quite pointless at the same ti

[issue23613] searchindex.js is annoying

Georg Brandl added the comment: > How about we respond to all Windows-specific issues with "switch to Linux"? How about we don't respond to strawman arguments? -- ___ Python tracker ___

[issue23613] searchindex.js is annoying

Antoine Pitrou added the comment: > Well, that's not useful in a generated file. Well, here's a case where it's useful... Asking me to change tools is quite obvious and quite pointless at the same time. How about we respond to all Windows-specific issues with "switch to Linux"? -- __

[issue23613] searchindex.js is annoying

Georg Brandl added the comment: Well, that's not useful in a generated file. I propose you exclude the doc build tree from your search, or use a grepping tool like ag that ignores files ignored by the vcs. -- ___ Python tracker

[issue23613] searchindex.js is annoying

Antoine Pitrou added the comment: That's a good question :) Making it a normal multiline file would be good enough. -- ___ Python tracker ___ ___

[issue23613] searchindex.js is annoying

Georg Brandl added the comment: And what do you suggest to do about it? -- nosy: +georg.brandl ___ Python tracker ___ ___ Python-bugs-

[issue23613] searchindex.js is annoying

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