diff --git a/read_db.sh b/read_db.sh index 617b83b..de24414 100755 --- a/read_db.sh +++ b/read_db.sh @@ -2,7 +2,7 @@ set -e : "${FSR_GEN_SSH_TO:=fsmi-login.fsmi.uni-karlsruhe.de}" -: "${FSR_GEN_SSH:=$(test "$(hostname -d)" = "fsmi.uni-karlsruhe.de"; echo $?)}" +: "${FSR_GEN_SSH:=$(test "$(hostname -d)" = "fsmi.uni-karlsruhe.de" || echo 1)}" sql() { # $1: select