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 /git-debpush | |
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 'git-debpush')
-rwxr-xr-x | git-debpush | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-debpush b/git-debpush index 0be0bf4..5b99e72 100755 --- a/git-debpush +++ b/git-debpush @@ -38,8 +38,8 @@ set -o pipefail # **** Helper functions and variables **** us="$(basename $0)" -git_playtree_create=git-playtree-create ###substituted### -git_playtree_create=${DEBPUSH_GIT_PLAYTREE_CREATE-$git_playtree_create} +git_playtree_setup=git-playtree-setup ###substituted### +git_playtree_setup=${DEBPUSH_GIT_PLAYTREE_SETUP-$git_playtree_setup} cleanup() { if [ -d "$temp" ]; then |