diff options
author | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:58:12 +0300 |
---|---|---|
committer | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:58:12 +0300 |
commit | 12926763749299a9856b39335420dc2b0a373827 (patch) | |
tree | 9a4fcbb5ebfb27bf98ba69122ec8a4e838d07d4a | |
parent | 4156d660d6bca77bbd6ed6860959b4a68f55e6d7 (diff) |
$RC_FILE needs to be quoted in some cases too
-rwxr-xr-x | install.sh | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -193,7 +193,7 @@ fi WRITE_PATH_TO_PROFILE=0 if [[ $BATCH_INSTALL == 0 ]]; then - if [ -f $RC_FILE ]; then + if [ -f "$RC_FILE" ]; then echo " Do you want to automatically prepend the Torch install location @@ -216,7 +216,7 @@ to PATH and LD_LIBRARY_PATH in your $RC_FILE? (yes/no) fi fi else - if [[ $RC_FILE ]]; then + if [[ "$RC_FILE" ]]; then WRITE_PATH_TO_PROFILE=1 fi fi @@ -224,7 +224,7 @@ fi if [[ $WRITE_PATH_TO_PROFILE == 1 ]]; then echo " -. $PREFIX/bin/torch-activate" >> $RC_FILE +. $PREFIX/bin/torch-activate" >> "$RC_FILE" echo " . $PREFIX/bin/torch-activate" >> "$HOME"/.profile |