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
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 rep...@bugs.python.org
Antoine Pitrou added the comment:
That's a good question :) Making it a normal multiline file would be good
enough.
--
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue23613
___
Georg Brandl added the comment:
And what do you suggest to do about it?
--
nosy: +georg.brandl
___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue23613
___
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
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 rep...@bugs.python.org
http://bugs.python.org/issue23613
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
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?
--
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 time. How
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' !
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
11 matches
Mail list logo
