Diff
1diff --git a/lib/grep.zsh b/lib/grep.zsh
2index bd9dad41f2fcd8df76c26e488c0d75f1fafe9048..09042e13b13b300c00e3fd0942a7c71af5c9d8c8 100644
3--- a/lib/grep.zsh
4+++ b/lib/grep.zsh
5@@ -11,7 +11,7 @@ if grep-flag-available --color=auto; then
6 fi
7
8 # ignore these folders (if the necessary grep flags are available)
9-EXC_FOLDERS="{.bzr,CVS,.git,.hg,.svn,.idea}"
10+EXC_FOLDERS="{.bzr,CVS,.git,.hg,.svn,.idea,.tox}"
11
12 if grep-flag-available --exclude-dir=.cvs; then
13 GREP_OPTIONS+=" --exclude-dir=$EXC_FOLDERS"
14@@ -25,6 +25,5 @@ alias egrep="egrep $GREP_OPTIONS"
15 alias fgrep="fgrep $GREP_OPTIONS"
16
17 # clean up
18-unset GREP_OPTIONS
19-unset EXC_FOLDERS
20+unset GREP_OPTIONS EXC_FOLDERS
21 unfunction grep-flag-available