[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date"
From: |
Nick Roberts |
Subject: |
bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date" |
Date: |
Sun, 5 Oct 2008 15:10:33 +1300 |
> > It sounds like you want vc-dir to ignore vc-stay-local, which I would
> > suggest is something that needs documenting.
>
> I just don't think it should be the default. I do think that it's
> fundamentally broken, so I don't want to have anything to do with it.
It might be sensible to make vc-stay-local default to nil but to just ignore
it will only confuse users.
> > Or introduce a vc-dir-stay-local, default nil?
>
> I'd prefer it *stay-local would not pollute vc-dir.el, none of the
> modern VC systems needs it, so there's no good reason to deal with it in
> the future.
We've been here before and some of us said that we found vc-stay-local useful.
There are probably many users, RMS included, who don't have permanent or fast
access to the Internet. I think that's a good reason to deal with it.
--
Nick http://www.inet.net.nz/~nickrob
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", (continued)
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/05
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/05
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/04
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date",
Nick Roberts <=
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/05
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/05
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Nick Roberts, 2008/10/06
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/06
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/06
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Nick Roberts, 2008/10/06
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/08
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Dan Nicolaescu, 2008/10/09
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Glenn Morris, 2008/10/09
- bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date", Nick Roberts, 2008/10/04