fixes #343 by surrounding $HOME (which can have spaces) with quotations marks

2015-04-21 16:17:38 +02:00
parent d0d6780a2f
commit 4510c9ee63
13 changed files with 23 additions and 23 deletions
--- a/plugins/available/pipsi.plugin.bash
+++ b/plugins/available/pipsi.plugin.bash
@@ -1,7 +1,7 @@
 cite about-plugin
 about-plugin 'load pipsi, if you are using it'

-if [[ -f $HOME/.local/bin/pipsi ]]
+if [[ -f "$HOME/.local/bin/pipsi" ]]
 then
    export PATH=~/.local/bin:$PATH
 fi