From: Jeff King <peff@peff.net>
Date: Sun, 10 Feb 2013 22:43:45 GMT
Subject: Re: Git prompt
Message-ID: <20130210224345.GA32318@sigill.intra.peff.net>
In-Reply-To: <20130210212538.GA11720@elie.Belkin>

On Sun, Feb 10, 2013 at 01:25:38PM -0800, Jonathan Nieder wrote:

> Ethan Reesor wrote:
> 
> > I have a git user set up on my server. It's prompt is set to
> > git-prompt and it's git-shell-commands is empty.
> [...]
> > How do I make the git user work like github where, upon attempting to
> > get a prompt, the connection is closed?
> 
> I assume you mean that the user's login shell is git-shell.
> 
> You can disable interactive logins by removing the
> ~/git-shell-commands/ directory.  Unfortunately that doesn't let you
> customize the message.  Perhaps it would make sense to teach shell.c
> to look for a
> 
> 	[shell]
> 		greeting = 'Hi %(username)! You've successfully authenticated, but I do not provide interactive shell access.'
> 
> setting in git's config file.  What do you think?

I think something like that makes sense. To my knowledge there is no way
with stock git to customize git-shell's output (at GitHub, that message
comes from our front-end routing process before you even hit git-shell
on our backend machines).

The "username" in our version of the message comes from a database
mapping public keys to GitHub users, not the Unix username.  But I
suspect sites running stock Git would be happy enough to have
%(username) map to the actual Unix username.

-Peff