diff options
author | Jon Loeliger <jdl@jdl.com> | 2008-05-16 14:43:50 -0500 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2008-05-16 13:13:24 -0700 |
commit | e4d594c6bdcb25b996120fe21c901af7a08a7f6d (patch) | |
tree | cbd93b8fc34c0d2a0b94d9107b36e68edb9b5677 | |
parent | a473445ac256f4a6ca5c66f83f33b85eec0e0c48 (diff) | |
download | git-e4d594c6bdcb25b996120fe21c901af7a08a7f6d.tar.gz |
git-filter-branch: Clarify file removal example.
Signed-off-by: Jon Loeliger <jdl@jdl.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Documentation/git-filter-branch.txt | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/git-filter-branch.txt b/Documentation/git-filter-branch.txt index 6454e49bf2..4a530965ec 100644 --- a/Documentation/git-filter-branch.txt +++ b/Documentation/git-filter-branch.txt @@ -177,6 +177,10 @@ or copyright violation) from all commits: git filter-branch --tree-filter 'rm filename' HEAD ------------------------------------------------------- +However, if the file is absent from the tree of some commit, +a simple `rm filename` will fail for that tree and commit. +Thus you may instead want to use `rm -f filename` as the script. + A significantly faster version: -------------------------------------------------------------------------- |