[darcs-users] remove and obliterate
Matthias Fischmann
fis at wiwi.hu-berlin.de
Tue Nov 21 09:34:01 UTC 2006
hei, I think this one is easier, but I have failed to solve by staring
at the documentation for a while. What is the difference between
$ rm file && darcs record
and
$ darcs remove file && rm file
? At first I thought that 'darcs remove' also removes the history of
the file, ie all patches related to it, but that doesn't really make
sense.
thanks,
matthias
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: Digital signature
Url : http://lists.osuosl.org/pipermail/darcs-users/attachments/20061121/8aa1ff2d/attachment.pgp
More information about the darcs-users
mailing list