echo $SHELL returns:
Current contents of my .bashrc file (per the previously linked
Current contents of my .bash_profile file are:
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,
> $ 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
For more options, visit this group at