On Tue, Sep 22, 2015 at 09:49:43PM -0700, Linus Torvalds wrote: > 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.
Good point. 99% of users won't be able to deal with that. But still. Moving it away is the smarter solution. /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
