bin/find_home: remove Bregis; add tmp

diff --git a/bin/find_home.sh b/bin/find_home.sh
index 5d4ed2ead96e3a0e88d10a008cd07cb59139daab..f868059b010922fe4efb4441c59506f6bbc3e540 100755 (executable)
--- a/bin/find_home.sh
+++ b/bin/find_home.sh
@@ -1,4 +1,4 @@
 #! /bin/sh
 
 cd "$HOME" && exec cgmem_nice 100 \
-find . \( \( -name CVS -o -name .git -o -name .hg -o -name .svn -o -path ./.cache/chromium/\* -o -path ./.cache/mozilla/\* -o -path ./Internet/WWW/htdocs/doc/\* -o -path ./archive/STORE/\* -o -path ./current/Bregis/nobackup/\* -o -path ./media/\* -o -path ./mnt/\*\* \) -type d -prune \) -o -type f "$@" -print 2>/dev/null
+find . \( \( -name CVS -o -name .git -o -name .hg -o -name .svn -o -path ./.cache/chromium/\* -o -path ./.cache/mozilla/\* -o -path ./Internet/WWW/htdocs/doc/\* -o -path ./archive/STORE/\* -o -path ./media/\* -o -path ./mnt/\*\* -o -path ./tmp/\* \) -type d -prune \) -o -type f "$@" -print 2>/dev/null

diff --git a/bin/find_home_grep.sh b/bin/find_home_grep.sh
index bbf4dc14005226dd9224791e52212a37bf62f3bc..b5de70b4ef54f19aa1fc879f7fe6fe1f84e708fe 100755 (executable)
--- a/bin/find_home_grep.sh
+++ b/bin/find_home_grep.sh
@@ -1,4 +1,4 @@
 #! /bin/sh
 
 cd "$HOME" && exec cgmem_nice 100 \
-find . \( \( -name CVS -o -name .git -o -name .hg -o -name .svn -o -path ./.cache/chromium/\* -o -path ./.cache/mozilla/\* -o -path ./Internet/WWW/htdocs/doc/\* -o -path ./archive/STORE/\* -o -path ./current/Bregis/nobackup/\* -o -path ./media/\* -o -path ./mnt/\*\* \) -type d -prune \) -o -type f -exec grep -I "$@" '{}' \+ 2>/dev/null
+find . \( \( -name CVS -o -name .git -o -name .hg -o -name .svn -o -path ./.cache/chromium/\* -o -path ./.cache/mozilla/\* -o -path ./Internet/WWW/htdocs/doc/\* -o -path ./archive/STORE/\* -o -path ./media/\* -o -path ./mnt/\*\* -o -path ./tmp/\* \) -type d -prune \) -o -type f -exec grep -I "$@" '{}' \+ 2>/dev/null