summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordavor <vorgrimmlerdavid@gmx.de>2012-08-17 15:47:52 +0200
committerdavor <vorgrimmlerdavid@gmx.de>2012-08-17 15:47:52 +0200
commit17210051ed747f527690bc67ac06944281e10627 (patch)
treedc32994c24114cc1fd16456acb3d0b1b2bec4d33
parent14aa03789fcb71edecf0d909df4b37e3a4013e44 (diff)
Typo.
-rwxr-xr-xinstall2
1 files changed, 1 insertions, 1 deletions
diff --git a/install b/install
index 10c02a9..850b30e 100755
--- a/install
+++ b/install
@@ -59,6 +59,6 @@ fi
[ -f $HOME/.opentox/config/ambit_descriptors.yaml ] || (cmd="cp ambit_descriptors.yaml $HOME/.opentox/config/" && run_cmd "$cmd" "Ambit keys file")
[ -f $HOME/.opentox/config/jl_keys.yaml ] || (cmd="cp jl_keys.yaml $HOME/.opentox/config/" && run_cmd "$cmd" "Joelib keys file")
[ -f $OT_TOOLS_CONF ] || (cmd="cp ot-tools-user.sh $OT_TOOLS_CONF" && run_cmd "$cmd" "Created ot-tools (stored in ~/.opentox)")
-if ! cat "$OT_TOOLS_CONF" | grep "OT_PREFIX=">/dev/null 2>&1; then echo "OT_PREFIX=$OT_PREFIX" >> $OT_DEFAULT_CONF; fi
+if ! cat "$OT_TOOLS_CONF" | grep "OT_PREFIX=">/dev/null 2>&1; then echo "OT_PREFIX=$OT_PREFIX" >> $OT_TOOLS_CONF; fi
notify