No subject


Mon Mar 16 18:30:53 GMT 2009


directory that contains ignored files.  That seems like a simpler case
where we should just do the rename and move the ignored files with it.

I think the overwhelmingly common case is that ignored files are junk
and should be deleted when the directory is deleted.  Against this,
deleting a file when it was wanted is worse than making the user
explicitly delete it -- but not infinitely worse, and I feel like
we're generating many conflicts for every case where it saves you.

Maybe we should say ignored files are safe to delete and then create a
new category 'precious' for things that are not to be added but also
not to be deleted.  (iirc that's what the term meant in tla but it was
not fully implemented.)

-- 
Martin <http://launchpad.net/~mbp/>



More information about the bazaar mailing list