yannik/fsr_generator
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fix fsmi detection

Browse Source
This commit is contained in:
adnidor
2021-04-28 01:48:14 +02:00
parent 04a426a1f9
commit 83ba34505f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
read_db.sh
View File

@@ -2,7 +2,7 @@
set -e set -e
: "${FSR_GEN_SSH_TO:=fsmi-login.fsmi.uni-karlsruhe.de}" : "${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() { sql() {
# $1: select # $1: select