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:
-rwxr-xr-xinstall.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/install.sh b/install.sh
index 5ea1ad9..a32bc83 100755
--- a/install.sh
+++ b/install.sh
@@ -221,7 +221,7 @@ if [[ $WRITE_PATH_TO_PROFILE == 1 ]]; then
. $PREFIX/bin/torch-activate" >> $RC_FILE
echo "
-. $PREFIX/bin/torch-activate" >> $HOME/.profile
+. $PREFIX/bin/torch-activate" >> "$HOME"/.profile
else
echo "