Re: fatal: bad revision 'git rm -r --ignore-unmatch -- folder'

2017-01-20 Thread jean-christophe manciot
I've finally found the correct command after some significant research: git filter-branch --tag-name-filter cat --index-filter "git rm -r --cached --ignore-unmatch ${file_path}/${file_name}" --prune-empty --force -- --all On Fri, Jan 20, 2017 at 4:23 PM, jean-christophe manciot wrote: > I've fina

Re: fatal: bad revision 'git rm -r --ignore-unmatch -- folder'

2017-01-19 Thread jean-christophe manciot
Also some context information: Ubuntu 16.10 4.8 git 2.11.0 On Thu, Jan 19, 2017 at 9:32 AM, jean-christophe manciot wrote: > In case you were wondering whether these files were tracked or not: > > git-Games# git ls-files Ubuntu/16.04 > Ubuntu/16.04/residualvm_0.3.0~git-1_amd64.deb > Ubuntu/16.04/

Re: fatal: bad revision 'git rm -r --ignore-unmatch -- folder'

2017-01-19 Thread jean-christophe manciot
In case you were wondering whether these files were tracked or not: git-Games# git ls-files Ubuntu/16.04 Ubuntu/16.04/residualvm_0.3.0~git-1_amd64.deb Ubuntu/16.04/scummvm-data_1.8.0_all.deb Ubuntu/16.04/scummvm-data_1.9.0_all.deb Ubuntu/16.04/scummvm-dbgsym_1.8.2~git20160821.bad86050_amd64.deb Ub

Re: fatal: bad revision 'git rm -r --ignore-unmatch -- folder'

2017-01-17 Thread Jeff King
On Tue, Jan 17, 2017 at 04:30:48PM +0100, jean-christophe manciot wrote: > I'm trying to purge a complete folder and its files from the > repository history with: > > git-Games# git filter-branch 'git rm -r --ignore-unmatch -- > Ubuntu/16.04/' --tag-name-filter cat -- --all HEAD > fatal: bad revi

fatal: bad revision 'git rm -r --ignore-unmatch -- folder'

2017-01-17 Thread jean-christophe manciot
Hi there, I'm trying to purge a complete folder and its files from the repository history with: git-Games# git filter-branch 'git rm -r --ignore-unmatch -- Ubuntu/16.04/' --tag-name-filter cat -- --all HEAD fatal: bad revision 'git rm -r --ignore-unmatch -- Ubuntu/16.04/' git does not find the f