chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9e4421b) | patch
worktree support: Fix ensure_a_playground (gives absolute path now)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Aug 2017 18:17:14 +0000 (19:17 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 3 Aug 2017 17:14:59 +0000 (18:14 +0100)
commit33b3c4012778bbc2a94f9a66f4b17bfe29e5fa00
treeb9c9a17ecbf7ef86043e853239ca6a1803645bb7tree | snapshot
parent9e4421b0f366840ee6935acc6b077224173e893fcommit | 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>
Debian/Dgit.pm diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.