[Piuparts-commits] rev 876 - piatti/home/piupartsm/bin

[Holger Levsen]

Author: holger
Date: 2011-01-10 23:17:46 +0000 (Mon, 10 Jan 2011)
New Revision: 876

Modified:
   piatti/home/piupartsm/bin/detect_stale_mounts
Log:
ignore trash

Modified: piatti/home/piupartsm/bin/detect_stale_mounts
===================================================================
--- piatti/home/piupartsm/bin/detect_stale_mounts	2011-01-10 10:06:47 UTC (rev 875)
+++ piatti/home/piupartsm/bin/detect_stale_mounts	2011-01-10 23:17:46 UTC (rev 876)
@@ -19,7 +19,7 @@
 FILE=`mktemp`
 cp /proc/mounts $FILE
 
-if [ "$(grep -c /org/piuparts.debian.org/tmp $FILE)" -gt 1 ] ; then 
+if [ "$(grep -v trash $FILE | grep -c /org/piuparts.debian.org/tmp )" -gt 1 ] ; then 
 	echo "More than one mountpoint below /org/piuparts.debian.org/tmp detected!"
 	echo
 	grep /org/piuparts.debian.org/tmp $FILE