[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