Am 07.03.2017 um 15:57 schrieb Urs Liska: > So ideally someone (as said I can't build currently) could grep through > the whole built website, taking the attached file (produced by a > combination of grep and sed) as the basis and this line: > > for f in $(cat to-be-deleted.txt); do git grep -n $f; done
Ah, of course that should not be git grep (because the built stuff shouldn't be tracked) but probably for f in $(cat to-be-deleted.txt); do grep -n -r $f *; done -- u...@openlilylib.org https://openlilylib.org http://lilypondblog.org _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
