From 2b89dd9ce6d6d990ea9a493775c075c7ae27898a Mon Sep 17 00:00:00 2001 From: "https://www.google.com/accounts/o8/id?id=AItOawmZilYULa6CDEGfuagoDlesyakBgnf-dF8" Date: Mon, 26 May 2014 11:52:27 +0000 Subject: [PATCH] Added a comment --- .../comment_5_77b2269936f740cacbc955b95f9da51d._comment | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 doc/bugs/configurable_path_to_git-annex-shell/comment_5_77b2269936f740cacbc955b95f9da51d._comment diff --git a/doc/bugs/configurable_path_to_git-annex-shell/comment_5_77b2269936f740cacbc955b95f9da51d._comment b/doc/bugs/configurable_path_to_git-annex-shell/comment_5_77b2269936f740cacbc955b95f9da51d._comment new file mode 100644 index 0000000000..a30f2fff9d --- /dev/null +++ b/doc/bugs/configurable_path_to_git-annex-shell/comment_5_77b2269936f740cacbc955b95f9da51d._comment @@ -0,0 +1,8 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawmZilYULa6CDEGfuagoDlesyakBgnf-dF8" + nickname="Maarten" + subject="comment 5" + date="2014-05-26T11:52:27Z" + 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. +"""]]