From 8432a6369d33b8120b23c2ac6729f9a867bbeb4b Mon Sep 17 00:00:00 2001
From: Enno Rehling <enno.rehling@gmail.com>
Date: Sun, 21 Sep 2014 16:55:28 +0200
Subject: [PATCH] guess the ERESSEA environment if it is missing

---
 s/preview | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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"