diff --git a/s/preview b/s/preview index ff3a7c1ee..049eaac50 100755 --- a/s/preview +++ b/s/preview @@ -118,7 +118,8 @@ while getopts :g:t:f:v: o; do done shift $((OPTIND-1)) -[ -d $ERESSEA ] || echo "invalid or missing env variable ERESSEA ($ERESSEA)" +[ -z $ERESSEA ] && ERESSEA=$HOME/eressea +[ -d $ERESSEA ] || abort "invalid or missing env variable ERESSEA ($ERESSEA)" [ -z $1 ] && usage [ -z $SOURCE ] && SOURCE=$ERESSEA/git [ -d $SOURCE ] || abort "missing source directory: $SOURCE"