diff options
| author | Jon Loeliger <jdl@jdl.com> | 2008-05-16 19:43:50 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-05-16 20:13:24 (GMT) |
| commit | e4d594c6bdcb25b996120fe21c901af7a08a7f6d (patch) | |
| tree | cbd93b8fc34c0d2a0b94d9107b36e68edb9b5677 /Documentation | |
| parent | a473445ac256f4a6ca5c66f83f33b85eec0e0c48 (diff) | |
| download | git-e4d594c6bdcb25b996120fe21c901af7a08a7f6d.zip git-e4d594c6bdcb25b996120fe21c901af7a08a7f6d.tar.gz git-e4d594c6bdcb25b996120fe21c901af7a08a7f6d.tar.bz2 | |
git-filter-branch: Clarify file removal example.
Signed-off-by: Jon Loeliger <jdl@jdl.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
| -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 6454e49..4a53096 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: -------------------------------------------------------------------------- |