diff options
| author | Junio C Hamano <gitster@pobox.com> | 2011-04-01 17:45:59 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2011-04-01 17:45:59 -0700 |
| commit | 142c945e6e6d944aff4187c55c3655d9608ca376 (patch) | |
| tree | 42df0d87177a5dc119f5f184c19343ccede81605 /Documentation/git-filter-branch.txt | |
| parent | 6acef043581d69597860f3343ec2691c72b0803c (diff) | |
| parent | 094574b32b799af01e5c0e0a44c2f41eb4a3f671 (diff) | |
| download | git-142c945e6e6d944aff4187c55c3655d9608ca376.tar.gz | |
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.txt | 2 |
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 --------------------------------------------------------------- |