Re: [PATCH v6 1/4] git: make super-prefix option

2016-10-04 Thread Jeff King
On Tue, Oct 04, 2016 at 10:31:51AM -0700, Stefan Beller wrote: > On Thu, Sep 29, 2016 at 2:48 PM, Brandon Williams wrote: > > > > > +const char *get_super_prefix(void) > > +{ > > + if (!super_prefix) > > + super_prefix = getenv(GIT_SUPER_PREFIX_ENVIRONMENT); > > + retur

Re: [PATCH v6 1/4] git: make super-prefix option

2016-10-04 Thread Junio C Hamano
Stefan Beller writes: > On Thu, Sep 29, 2016 at 2:48 PM, Brandon Williams wrote: > >> >> +const char *get_super_prefix(void) >> +{ >> + if (!super_prefix) >> + super_prefix = getenv(GIT_SUPER_PREFIX_ENVIRONMENT); >> + return super_prefix; >> +} >> + > > As said earlier,

Re: [PATCH v6 1/4] git: make super-prefix option

2016-10-04 Thread Stefan Beller
On Thu, Sep 29, 2016 at 2:48 PM, Brandon Williams wrote: > > +const char *get_super_prefix(void) > +{ > + if (!super_prefix) > + super_prefix = getenv(GIT_SUPER_PREFIX_ENVIRONMENT); > + return super_prefix; > +} > + As said earlier, is the following a valid thought: >

[PATCH v6 1/4] git: make super-prefix option

2016-09-29 Thread Brandon Williams
Add a super-prefix environment variable 'GIT_INTERNAL_SUPER_PREFIX' which can be used to specify a path from above a repository down to its root. When such a super-prefix is specified, the paths reported by Git are prefixed with it to make them relative to that directory "above". The paths given b