Re: [Gnu-arch-users] [REJECT: address@hidden (default naming convention changes)

[Tom Lord]

    > From: Matthieu Moy <address@hidden>

    > Tom Lord <address@hidden> writes:

    > >     > From: Matthieu Moy <address@hidden>

    > >     > Tom Lord <address@hidden> writes:

    > >     > > 2) .o, .a, .so, .core, and .so* do not belong in junk.
    > >     > >    Those files can be very, very valuable _and_ difficult or
    > >     > >    impossible to reproduce.   "junk", meanwhile, is comprised 
of files
    > >     > >    that may be casually deleted.

    > >     > Then, shouldn't they belong to "precious" instead of 
"unrecognized" ? 

    > > No.   "Precious" implies that the files should be _copied_ whenever we
    > > make a copy of "the good stuff" from a tree.   Those files are
    > > definately not (by default) in that category.   

    > I can understand that, but why should they be "unrecognized" ? I don't
    > understand why having an object file in my tree should prevent me from
    > committing. 

And I can understand that.  That's a good reason to move them to
"backup" (not archived, not casually deleted, not copied with "the
good stuff" in a tree).  The requested merge moved them to precious
(not archived, not casually deleted, copied with "the good stuff").

(Patches welcome.)


That's actually (to rehearse something that comes up every couple of
months on the list) not a bad way to understand inventory categories:
There are three binary flags:

        archived?
        casually deleted?
        copied with "the good stuff?"


which initially suggests eight categories but then we realize that
half of those categories are nonsense.


        archived?       deleted?        copied?         =

        no              no              no              backup
        no              no              yes             precious
        no              yes             no              junk
        no              yes             yes             nonsense

        yes             no              no              nonsense
        yes             no              yes             source
        yes             yes             no              nonsense
        yes             yes             yes             nonsense


"unrecognized" is everything not on that map.

"excluded" is something orthogonal to the five basic categories.

-t