diff options
| author |  carlo <carlo@web> | 2013-07-01 04:20:22 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-07-01 04:20:22 +0000 |
| commit | 68fa29054eb6101e27e04786e3d30706b4ff6553 (patch) | |
| tree | 992aec96a1b6fdefaa9ebc415b7baa48280d19cc | |
| parent | c644c7fd786ece96673be21e96a69dc28ea4c412 (diff) | |
Added a comment
| -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 + +"""]] |