[darcs-users] Re: push mail error?

Peter Simons simons at cryp.to
Tue May 20 03:43:53 UTC 2003


Aggelos Economopoulos writes:

 > Also, since EMAIL is really generic, could you use something like
 > DARCS_EMAIL instead?

IMHO, the choice of $EMAIL is fine. On some systems it's not uncommon
for this variable to be set by the system environment even, so using
it seems like a good idea. Especially, if you can overwrite the
setting via "prefs" (can you?) and on the command line.

Just my 0.02 Euro ...





More information about the darcs-users mailing list