On Wed, Mar 25, 2009 at 09:13:48 -0600, [email protected] wrote: > Also don't forget that you can get the global identity functionality via: > > $ cat >> ~/.darcs/defaults > record -A m...@here > ^D
This also has the advantage of overriding anything set in _darcs/prefs/author, which may be useful for the case where you have people (for whatever reason) sharing a repository. > as well as setting DARCS_EMAIL in your .bashrc/.whatever. Using both of these > you will never again be bothered for your identity or asked if you want to set > your identity somewhere. > > Irrespective of the current feature debate, these would be good candidates > for > the Tips and Tricks section of the wiki. Please help! http://wiki.darcs.net/index.html/HintsAndTips To create an account: http://wiki.darcs.net/index.html/UserPreferences -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
signature.asc
Description: Digital signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
