mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

removed

Browse source
This commit is contained in:
https://www.google.com/accounts/o8/id?id=AItOawmZilYULa6CDEGfuagoDlesyakBgnf-dF8 2014-05-26 11:52:53 +00:00 • committed by admin
parent 2b89dd9ce6
commit a37e276df6
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
doc/bugs/configurable_path_to_git-annex-shell/comment_4_6c039b8b4791785d37dfc97dc052ea1f._comment
View file

@ -1,8 +0,0 @@
[[!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.
"""]]