Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree"

!MAILaRCHIVE_VOTE_RePLACE
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
To: Jay Soffian <jaysoffian+git@...>
Cc: Jeff King <peff@...>, Junio C Hamano <gitster@...>, Johannes Sixt <j.sixt@...>, <git@...>, Lars Hjemli <hjemli@...>
Date: Thursday, February 7, 2008 - 8:33 am

Hi,

On Thu, 7 Feb 2008, Jay Soffian wrote:


Yes.  First: it looks more like a C constant than a proper environment 
variable.  Second: what to do _sanely_, when both GIT_WORK_TREE and 
GIT_WORK_TREE_NOT_SET are true?

Of course, you could argue that one should override the other.  But the 
consequence will be user errors that could be prevented, thus it is a 
design error.

Ciao,
Dscho

-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree", Johannes Schindelin, (Thu Feb 7, 3:02 pm)
Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree", Johannes Schindelin, (Fri Feb 8, 8:05 am)
Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree", Junio C Hamano, (Wed Feb 6, 4:54 pm)
Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree", Junio C Hamano, (Wed Feb 6, 4:59 pm)
Re: [PATCH] allow setting GIT_WORK_TREE to "no work tree", Johannes Schindelin, (Thu Feb 7, 8:33 am)