summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDieter Plaetinck <dieter@plaetinck.be>2008-11-03 19:16:17 +0100
committerDieter Plaetinck <dieter@plaetinck.be>2008-11-03 19:16:17 +0100
commite064295974659027d021d01237292025068dfc10 (patch)
treedc84f291f94c4157d2307a4491b767dc2003f506
parent0dfa2006464b270c51c996fd962aa99f6f3fc548 (diff)
dont complain if there are no user modules
-rwxr-xr-xsrc/fifa.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fifa.sh b/src/fifa.sh
index e49f605..b065b09 100755
--- a/src/fifa.sh
+++ b/src/fifa.sh
@@ -16,7 +16,7 @@ If the procedurename starts with 'http://' it will be wget'ed. Otherwise it's a
If the procedurename is prefixed with '<modulename>/' it will be loaded from user module <modulename>. See README\n
Available procedures on the filesystem:
`find /home/arch/fifa/core/procedures -type f`\n
-`find /home/arch/fifa/user/*/procedures -type f`"
+`find /home/arch/fifa/user/*/procedures -type f 2>/dev/null`"
echo -e "$msg"
}