diff options
author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-13 10:52:49 +0200 |
---|---|---|
committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-13 10:52:49 +0200 |
commit | b0cd9ef22157ed221cbf67ce795e25b7449ae9f6 (patch) | |
tree | 834311d9efb7a63a76439580306e29a4a174221a /install | |
parent | 207a44f71b726fa3c054216b7c9ae014e2236f62 (diff) |
Renamed config files and added ot-tools.
Diffstat (limited to 'install')
-rwxr-xr-x | install | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -58,5 +58,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_CONFIG ] || (cmd="cp ot-tools-user.sh $OT_TOOLS_CONFIG" && run_cmd "$cmd" "Install ot-tools.sh to CONFIG (~/.opentox/config)") notify |