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' ! -path '*Lib/pydoc_data/topics.py' ! -path '*Lib/plat-*'
-exec egrep -n --color "$@" '{}' +
and similar for *.[ch] and *.rst, and forgot about this problem.
----------
nosy: +serhiy.storchaka
_______________________________________
Python tracker <[email protected]>
<http://bugs.python.org/issue23613>
_______________________________________
_______________________________________________
Python-bugs-list mailing list
Unsubscribe:
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
