diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawmGxww5ON3nilm7moGQCWJPnMEdRwNvb7U <Chris@web> | 2013-10-29 20:25:47 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2013-10-29 20:25:47 +0000 |
| commit | 588680b25fa4484dca2b85259e216c4ae1ef11ae (patch) | |
| tree | c2fe5e63aa63e5b8b59f0d3025f1921d8ea3c1e0 /doc | |
| parent | 70a7f3c09af620ad7df06dd145f61098b338e29f (diff) | |
formatting
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/bugs/git_annex_dead_does_not_work_as_expected_when_multiple_repos_exist_with_the_same_name___40__notably_including_dead_ones__41__.mdwn | 58 |
1 files changed, 28 insertions, 30 deletions
diff --git a/doc/bugs/git_annex_dead_does_not_work_as_expected_when_multiple_repos_exist_with_the_same_name___40__notably_including_dead_ones__41__.mdwn b/doc/bugs/git_annex_dead_does_not_work_as_expected_when_multiple_repos_exist_with_the_same_name___40__notably_including_dead_ones__41__.mdwn index 8ec02de84..cbf79ffaf 100644 --- a/doc/bugs/git_annex_dead_does_not_work_as_expected_when_multiple_repos_exist_with_the_same_name___40__notably_including_dead_ones__41__.mdwn +++ b/doc/bugs/git_annex_dead_does_not_work_as_expected_when_multiple_repos_exist_with_the_same_name___40__notably_including_dead_ones__41__.mdwn @@ -6,36 +6,34 @@ I think preferring to mark live repos dead and printing a warning when multiple ### What steps will reproduce the problem? -1. Create a new repo /somecopy - - git clone /central /somecopy - cd /somecopy - git annex init somecopy - git annex sync - cd / - -Now, git annex status shows somecopy as an existing repo. - -2. Destroy the new repo - - rm -rf /somecopy - cd /central - git annex dead somecopy - -git annex status correctly hides somecopy, and it is properly dead. - -3. create it again with the same name, but new UUID - - git clone /central /somecopy - cd /somecopy - git annex init somecopy - git annex sync - cd / - -4. Destroy the second repo - - rm -rf /somecopy - cd /central +[[!format sh """ +# Create a new repo /somecopy +git clone /central /somecopy +cd /somecopy +git annex init somecopy +git annex sync +cd / + +# Now, git annex status shows somecopy as an existing repo. + +# Destroy the new repo +rm -rf /somecopy +cd /central +git annex dead somecopy + +# git annex status correctly hides somecopy, and it is properly dead. + +# create it again with the same name, but new UUID +git clone /central /somecopy +cd /somecopy +git annex init somecopy +git annex sync +cd / + +# Destroy the second repo +rm -rf /somecopy +cd /central +"""]] Now, git annex dead somecopy will randomly (based on the order of the UUIDs?) choose to mark dead the already dead old repo or the new repo, in both cases showing success to the user. |