Am 30.11.2012 11:46, schrieb Fabian Greffrath:
$ grep -ir 'prboom+' prboom+/* | wc -l 30 $ grep -ir 'prboom-plus' prboom+/* | wc -l 246
Sorry, that was misleading, a significant amount of these appearances were from the debian/ directory:
$ grep -ir 'prboom+' prboom+/* | grep -v '/debian/' | wc -l 15 $ grep -ir 'prboom-plus' prboom+/* | grep -v '/debian/' | wc -l 218 - Fabian