Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/torch/distro.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJames Donald <jdonald@leapmotion.com>2017-04-30 06:58:12 +0300
committerJames Donald <jdonald@leapmotion.com>2017-04-30 06:58:12 +0300
commit12926763749299a9856b39335420dc2b0a373827 (patch)
tree9a4fcbb5ebfb27bf98ba69122ec8a4e838d07d4a
parent4156d660d6bca77bbd6ed6860959b4a68f55e6d7 (diff)
$RC_FILE needs to be quoted in some cases too
-rwxr-xr-xinstall.sh6
1 files changed, 3 insertions, 3 deletions
diff --git a/install.sh b/install.sh
index 9c686e1..89883ee 100755
--- a/install.sh
+++ b/install.sh
@@ -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