diff options
| author | davor <vorgrimmlerdavid@gmx.de> | 2012-08-27 13:10:58 +0200 |
|---|---|---|
| committer | davor <vorgrimmlerdavid@gmx.de> | 2012-08-27 13:10:58 +0200 |
| commit | fb88184886869f8563fde69ca4e5ed30c46b6c86 (patch) | |
| tree | 025a32cb4f0a8a0cb1a2160a666cb46419831a62 /install | |
| parent | aec61467e2344d36b56be3570559b8fa79e12188 (diff) | |
Replaced ambit_descriptors with pc_descriptors.
Diffstat (limited to 'install')
| -rwxr-xr-x | install | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -56,7 +56,7 @@ if ! grep "rbenv" $OT_UI_CONF >/dev/null 2>&1 ; then echo 'if ! echo "$PATH" | grep "$HOME/.rbenv/bin">/dev/null 2>&1; then export PATH="$HOME/.rbenv/bin:$PATH"; eval "$(rbenv init -)"; fi' >> $OT_UI_CONF 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/pc_descriptors.yaml ] || (cmd="cp pc_descriptors.yaml $HOME/.opentox/config/" && run_cmd "$cmd" "Pc descriptor 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" "ot-tools.sh => $HOME/.opentox)") |