From: Jonathan Nieder <jrnieder@gmail.com>
Date: Fri, 06 May 2011 14:17:19 GMT
Subject: Re: RFC: a plugin architecture for git extensions?
Message-ID: <20110506141719.GA2991@elie>
In-Reply-To: <BANLkTimVjZgOJk1ik7fbhQvW21Fo9eZoXg@mail.gmail.com>

Jon Seymour wrote:

> If git supported the concept of a standard place to put extensions,
> then it could be as simple as:
>
>     unzip -d $(git --plugins-dir) plugin.zip
>
> with no need to configure or choose a prefix and no need to edit the
> an .profile or .bashrc to permanently add a directory to the PATH.

Why not use "/usr/local" in place of "git --plugins-dir"?  (I can
think of one answer --- namely root privileges --- but it would apply
to any system with one standard place to put extensions.)