diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-02 19:17:14 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-08-03 18:14:59 +0100 |
commit | 33b3c4012778bbc2a94f9a66f4b17bfe29e5fa00 (patch) | |
tree | b9c9a17ecbf7ef86043e853239ca6a1803645bb7 /dgit | |
parent | 9e4421b0f366840ee6935acc6b077224173e893f (diff) |
worktree support: Fix ensure_a_playground (gives absolute path now)
Make it honour $maindir_gitdir so it will DTRT in a `git worktree'.
The .git/dgit play area ends up in the .git/worktrees/<worktreename>
for this worktree.
It now returns an absolute path. The only call site that needs
adjusting is the one in fresh_playground.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'dgit')
0 files changed, 0 insertions, 0 deletions