diff options
| author | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:34:17 +0300 |
|---|---|---|
| committer | James Donald <jdonald@leapmotion.com> | 2017-04-30 06:34:17 +0300 |
| commit | 218f36d5fc50b9e4f6b6c8d1aa28e704d7d275f5 (patch) | |
| tree | ad6a11672d04065fe1cdb75d585dea33955318cd | |
| parent | ed2b0f48a9f3b4aa47ec5fab5abcabcedac4f97d (diff) | |
Make it okay to have spaces in $HOME/.profile
| -rwxr-xr-x | install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 " |