diff options
author | Joey Hess <joeyh@joeyh.name> | 2015-11-10 14:44:58 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2015-11-10 14:44:58 -0400 |
commit | 511fb47fd7728dbdc01c353f6cba2dfe8433dd7b (patch) | |
tree | 58d29b1bf43a98a5ce767d32c79f2b9440647805 /doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment | |
parent | dacadaae32183b2501bda42d38ba4cae8eeff12b (diff) |
display a message in the unlikely scenario of fsking a dead repository
Diffstat (limited to 'doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment')
-rw-r--r-- | doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment b/doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment new file mode 100644 index 000000000..b08ecd052 --- /dev/null +++ b/doc/bugs/Files_in___34__here__34___not_known_to_git_annex/comment_3_3b94625acd0fda06545243d9c163cfba._comment @@ -0,0 +1,16 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 3""" + date="2015-11-10T18:06:36Z" + content=""" +Aha, there is a bug indeed; fscking a dead repository always claims to +be "fixing location log", but the location log is fine and doesn't need +fixing. Fixed that. + +As to discovering when you're in a dead repository, there are a lot of +things that could be done, but most of them seem to add special cases +that are complicating both to implement and for parsing the resulting +output (like putting "(dead)" next to the description/name of a +dead repository). Seems reasonable to have fsck note when the repository +it's checking is dead, and leave it at that. +"""]] |