]> git.donarmstrong.com Git - zsh.git/commitdiff
do not print error when sourcedir not found
authormartin f. krafft <madduck@madduck.net>
Mon, 5 May 2008 19:12:15 +0000 (20:12 +0100)
committermartin f. krafft <madduck@madduck.net>
Mon, 5 May 2008 19:12:15 +0000 (20:12 +0100)
.zsh/sourcedir

index ae7632ae96fcd671c40e13a51bf6c89130c694d2..cd89e2cddb3538a5305abbee30a500892b55dfe9 100644 (file)
@@ -12,7 +12,6 @@
 
 sourcedir() {
   if [ ! -d "$1" ]; then
-    error "no such directory: ${1#$ZDOTDIR/}"
     return 1
   fi
   debug "sourcing directory ${1#$ZDOTDIR/}"