Welcome to mirror list, hosted at ThFree Co, Russian Federation.

git.kernel.org/pub/scm/git/git.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2011-04-02 04:45:59 +0400
committerJunio C Hamano <gitster@pobox.com>2011-04-02 04:45:59 +0400
commit142c945e6e6d944aff4187c55c3655d9608ca376 (patch)
tree42df0d87177a5dc119f5f184c19343ccede81605 /Documentation/git-filter-branch.txt
parent6acef043581d69597860f3343ec2691c72b0803c (diff)
parent094574b32b799af01e5c0e0a44c2f41eb4a3f671 (diff)
Merge branch 'maint'
* maint: docs: fix filter-branch subdir example for exotic repo names
Diffstat (limited to 'Documentation/git-filter-branch.txt')
-rw-r--r--Documentation/git-filter-branch.txt2
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt
index 03c76c717a..9dc1f2a947 100644
--- a/Documentation/git-filter-branch.txt
+++ b/Documentation/git-filter-branch.txt
@@ -361,7 +361,7 @@ git filter-branch --index-filter \
'git ls-files -s | sed "s-\t\"*-&newsubdir/-" |
GIT_INDEX_FILE=$GIT_INDEX_FILE.new \
git update-index --index-info &&
- mv $GIT_INDEX_FILE.new $GIT_INDEX_FILE' HEAD
+ mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"' HEAD
---------------------------------------------------------------