chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b34c3e) | patch
worktree support: Dgit.pm: Introduce $maindir_gitdir and _commondir
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 2 Aug 2017 18:14:40 +0000 (19:14 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 3 Aug 2017 08:57:52 +0000 (09:57 +0100)
commit780a7c95e17f7d467015070895cb1fc18e1daff4
tree4d96cf1e9b4cdfa2c1becb1401ea539068bab152tree | snapshot
parent9b34c3e59ee77136f100c2514524e841c4b30eabcommit | diff
worktree support: Dgit.pm: Introduce $maindir_gitdir and _commondir

A "git worktree" separates out some of the things which used to be
found in .git, into "common" things and "gitdir" things.

In this patch we simply collect the relevant informaation.  No-one
uses it yet so there is no significant functional change.

However, while we are here, we do improve an error message slightly.

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.