Also don't forget that you can get the global identity functionality via: $ cat >> ~/.darcs/defaults record -A m...@here ^D
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. -KQ ------------------------------------------------- This mail sent through IMP: http://horde.org/imp/ _______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
