diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-04-15 20:13:35 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-15 20:13:35 -0400 |
| commit | dc748c7336aea9cbf04c0311098a44c2b329633d (patch) | |
| tree | 1a993dd9662ff046b74a427232b8e301500a97b8 /doc/git-annex.mdwn | |
| parent | 60c4bcefd4d3001e7025fc59c1f7ab927a3a5c34 (diff) | |
reinit: New command that can initialize a new reposotory using the configuration of a previously known repository. Useful if a repository got deleted and you want to clone it back the way it was.
Diffstat (limited to 'doc/git-annex.mdwn')
| -rw-r--r-- | doc/git-annex.mdwn | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/doc/git-annex.mdwn b/doc/git-annex.mdwn index d6f3d21b2..32680b32c 100644 --- a/doc/git-annex.mdwn +++ b/doc/git-annex.mdwn @@ -845,6 +845,17 @@ subdirectories). repository, and remove all of git-annex's other data, leaving you with a git repository plus the previously annexed files. +* `reinit uuid|description` + + Normally, initializing a repository generates a new, unique identifier + (UUID) for that repository. Occasionally it may be useful to reuse a + UUID -- for example, if a repository got deleted, and you're + setting it back up. + + Use this with caution; it can be confusing to have two existing + repositories with the same UUID. Also, you will probably want to run + a fsck. + # PLUMBING COMMANDS * `pre-commit [path ...]` |