echo $SHELL returns:
/bin/bash

Current contents of my .bashrc file (per the previously linked
article) are:
export PATH=${PATH}:~/bin

Current contents of my .bash_profile file are:
export PATH=/opt/local/bin:/opt/local/sbin:$PATH

Any idea what to change to make pushes to the server less verbose?


On Jun 8, 3:38 pm, Artiom Diomin <kro...@gmail.com> wrote:
> On Tue, 8 Jun 2010 12:24:38 -0700 (PDT)
>
> "Clay H." <cchea...@gmail.com> wrote:
>
> Hello Clay,
>
> try
>
> $ ssh server 'echo $SHELL'
>
> And you will see which shell is used.
> By the way, bash uses $HOME/.bashrc file as peruser config.

-- 
You received this message because you are subscribed to the Google Groups "Git 
for human beings" group.
To post to this group, send email to git-us...@googlegroups.com.
To unsubscribe from this group, send email to 
git-users+unsubscr...@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/git-users?hl=en.

Reply via email to