-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Saturday 04 February 2006 01:38, Olivier Thauvin wrote: > Le Vendredi 03 Février 2006 15:27, [EMAIL PROTECTED] a écrit : > > > > As for "darcs remove", it might be best to eliminate that > > > > command, or at least to hide it in the section that we reserve > > > > for commands that are unnecessary and that sometimes confuse > > > > newcomers. > > > > > > Please don't eliminate! Not only would that break backward > > > compatibility, it is also a very useful command, just as unpull > > > and unrecord are. > > > > Don't worry, I'm sure that "darcs remove" will live a long time, if > > only because of backwards compatibility. Could you please tell us > > what you use it for? Why don't you just delete the file in > > question instead? > > Because darcs remove != rm ? > > darcs remove remove the file the repos, this mean darcs will longer > check changes on this file when recording patch. This can be usefull > to remove a file from repos without really deleting it (imagine you > add by mistake ./configure). > > # darcs remove --help > [...] > Remove should be called when you want to remove a file from your > project, but don't actually want to delete the file. Otherwise just > delete the file or directory, and darcs will notice that it has been > removed.
Hmmm, maybe it should be renamed unadd? Actually I'm only half joking here, as it would remove any confusion of "does darcs remove == rm"? ie. darcs add file --> put file under darcs's control darcs unadd file --> take file away from darcs's control, opposite of add, with no implication of touching the file itself. Too bad 'unadd' isn't a real word, oh well, we could allways put a '-' in it. :-) Nigel -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (GNU/Linux) iD8DBQFD49TIBbmcM2pfckkRAg1sAJ99Fqy4QNZ4JEhGRb/pCWOWOvfrHQCfWx96 E2Phyel1OT5a4aMpUxVfC8Y= =boxW -----END PGP SIGNATURE----- _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
