On Sep 22, 2015 8:52 PM, "Dirk Hohndel" <[email protected]> wrote:
>
> b) if we detect that the local cache is inconsistent and unusable, should
> we just delete it?
Please don't delete it, one of the nice things about the git format is how
old history is almost impossible to destroy by mistake. But deleting the
repository would definitely do that.
Imagine that you're offline, you have a few days of driving in your local
cache, and something crashes badly. You don't want to throw that possibly
recoverable data away just because libgit2 doesn't have "git fsck"
capability.
So by all means move it aside, and trek the user some way that it's now
available in so-and-so place for possible recovery if somebody wants to try
to recover data.
Linus
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
