clean up cruft left in log by bug
This commit is contained in:
parent
a045af36c4
commit
53ab737723
2 changed files with 9 additions and 5 deletions
|
@ -63,6 +63,11 @@ parseLogWithUUID :: (UUID -> String -> Maybe a) -> String -> Log a
|
|||
parseLogWithUUID parser = M.fromListWith best . mapMaybe parse . lines
|
||||
where
|
||||
parse line
|
||||
-- This is a workaround for a bug that caused
|
||||
-- NoUUID items to be stored in the log.
|
||||
-- It can be removed at any time; is just here to clean
|
||||
-- up logs where that happened temporarily.
|
||||
| " " `isPrefixOf` line = Nothing
|
||||
| null ws = Nothing
|
||||
| otherwise = parser u (unwords info) >>= makepair
|
||||
where
|
||||
|
|
|
@ -40,8 +40,7 @@ $ git cat-file blob git-annex:uuid.log
|
|||
"""]]
|
||||
|
||||
> Fixed the bug and made git breakage not crash git-annex. [[done]]
|
||||
>
|
||||
> You will probably end up with `git annex info` (used to be `git annex
|
||||
> status`) showing a strange display for "b". Just running "git annex dead
|
||||
> b" will clean that up. (You'd not want to do this if b is an active git
|
||||
> remote.) --[[Joey]]
|
||||
> --[[Joey]]
|
||||
|
||||
> > Update: Also made it automatically clean up the cruft this put in the
|
||||
> > log. --[[Joey]]
|
||||
|
|
Loading…
Reference in a new issue