How do I easily remove several files without manually typing the full paths of all of them to
git checkout -- /path/to/file
You can give wildcards to
git rm *.c
Or you can just write down the names of all the files in another file, say
path/to/file.c path/to/another/file2.c path/to/some/other/file3.c
You can automate this:
find . -name '*.c' > filesToRemove.txt
Open the file and review the names (to make sure it's alright).
cat filesToRemove.txt | xargs git rm
for i in `cat filesToRemove.txt`; do git rm $i; done
Check the manpage for
xargs for more options (esp. if it's too many files).