Felipe Contreras wrote: > On Thu, Mar 29, 2012 at 3:00 AM, Kerrick Staley <mail@xxxxxxxxxxxxxxxxx> wrote: >> 1) define __git_ps1 (and friends) in a different script, which will >> get installed in /etc/profile.d (this is the "proper way") > > I prefer this because it's useful for zsh as well Sounds good to me. In fact, I imagine you'll find no one it does not sound good to. Please feel free to make it so. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html