diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 16:39:58 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2019-07-21 18:01:18 +0100 |
commit | 224ca6b4a472fb9bb70f455bcea6733f9c9e99bc (patch) | |
tree | cb16cffefdf59ceb174dba4bfa165554b523f5c2 /Debian/Dgit.pm | |
parent | 1e947003e9b48254d349f000eaab3849511eb55e (diff) |
git-playtree-setup: Rename from git-playtree-create
The name is from when I thought it would actually mkdir. But it
doesn't. No overall functional change.
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Diffstat (limited to 'Debian/Dgit.pm')
-rw-r--r-- | Debian/Dgit.pm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Debian/Dgit.pm b/Debian/Dgit.pm index 8ed8364..3ac042c 100644 --- a/Debian/Dgit.pm +++ b/Debian/Dgit.pm @@ -1055,7 +1055,7 @@ sub playtree_setup () { # $maindir_gitdir contains our main working "dgit", HEAD, etc. # $maindir_gitcommon the shared stuff, including .objects - # we need to invoke git-playtree-create via git because + # we need to invoke git-playtree-setup via git because # there may be config options it needs which are only available # to us, sensibly, in @git @@ -1066,7 +1066,7 @@ sub playtree_setup () { # @INC is conveniently available. my $newpath = join ':', +(grep { !m/:/ } @INC), '/usr/share/dgit', $ENV{PATH}; - runcmd qw(env), "PATH=$newpath", @git, qw(playtree-create .); + runcmd qw(env), "PATH=$newpath", @git, qw(playtree-setup .); ensuredir '.git/info'; open GA, "> .git/info/attributes" or confess "$!"; |