This file is indexed.

/usr/share/cernlib/remove-deadpool is in cernlib-base-dev 20061220+dfsg3-4.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
#!/bin/sh

set -e
cd upstream

for dir in `tr '/' ' ' < ../debian/deadpool.txt | awk '{print $1}' \
	| sed -e 's/#.*//g' -e '/$^/d' | sort | uniq` ; do
	version=`ls -1 | head -n 1`
	echo Removing files with bad copyright from $dir module...
	for badfile in `grep '^'$dir ../debian/deadpool.txt \
			| sed 's/\#.*$//g'` ; do
		path=$version/src/$badfile
		[ -e "$path" ] || echo "Skipping non-existent $path ..."
		rm -rf $version/src/$badfile
	done
done
echo Done.

exit 0