diff options
| -rw-r--r-- | doc/bugs/configurable_path_to_git-annex-shell/comment_3_aea42acc039a82efc6bb3a8f173a632e._comment | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/doc/bugs/configurable_path_to_git-annex-shell/comment_3_aea42acc039a82efc6bb3a8f173a632e._comment b/doc/bugs/configurable_path_to_git-annex-shell/comment_3_aea42acc039a82efc6bb3a8f173a632e._comment new file mode 100644 index 000000000..399c46bc2 --- /dev/null +++ b/doc/bugs/configurable_path_to_git-annex-shell/comment_3_aea42acc039a82efc6bb3a8f173a632e._comment @@ -0,0 +1,12 @@ +[[!comment format=mdwn + username="carlo" + ip="130.102.158.18" + subject="comment 3" + date="2013-07-01T04:20:22Z" + content=""" +For anyone who comes across this, make sure that you modify your $PATH before these lines in ~/.bashrc: + + # If not running interactively, don't do anything + [ -z \"$PS1\" ] && return + +"""]] |