diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmZilYULa6CDEGfuagoDlesyakBgnf-dF8 <Maarten@web> | 2014-05-26 11:52:19 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-05-26 11:52:19 +0000 |
| commit | c48dc66f860128c2e99ff66eea5efde221433af3 (patch) | |
| tree | ed9de9052df8175c443d9e3a39590d5b8b433b28 | |
| parent | d949ddf1adc826c53248dffa933fcdc5593083ef (diff) | |
Added a comment
| -rw-r--r-- | doc/bugs/configurable_path_to_git-annex-shell/comment_4_6c039b8b4791785d37dfc97dc052ea1f._comment | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/bugs/configurable_path_to_git-annex-shell/comment_4_6c039b8b4791785d37dfc97dc052ea1f._comment b/doc/bugs/configurable_path_to_git-annex-shell/comment_4_6c039b8b4791785d37dfc97dc052ea1f._comment new file mode 100644 index 000000000..0862a0faa --- /dev/null +++ b/doc/bugs/configurable_path_to_git-annex-shell/comment_4_6c039b8b4791785d37dfc97dc052ea1f._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawmZilYULa6CDEGfuagoDlesyakBgnf-dF8" + nickname="Maarten" + subject="comment 4" + date="2014-05-26T11:52:18Z" + content=""" +when doing ssh host 'echo $PATH', the remote shell running the command is not an interactive shell and thus does NOT source .bashrc, neither is it a login shell and as such does not source .profile or .bash_profile. Which leaves me wondering: how does git annex log in to the remote machine to run git-annex-shell? Does it do so via an interactive shell, a login shell, or neither? Because if it does it via ssh host 'git-annex-shell', then neither .bashrc or .profile can configure its PATH. +"""]] |