Add target directory to checkout options #1665
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This adds the ability for checkout to write to a target directory instead of having to use the working directory of the repository. This makes it easier to do exports of repository data or to extract a commit from a bare repo and so on. There is a new
target_directory
field in thegit_checkout_options
structure.This is similar to, but not quite the same as, the
--prefix
option togit checkout-index
(this will always be treated as a directory name, not just as a simple text prefix).As part of this, the workdir iterator was extended to take the path to the working directory as a parameter and fallback on the
git_repository_workdir
result only if it's not specified.Fixes issue #1332