This file is indexed.

/usr/games/tegclient is in teg 0.11.2+debian-3.

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
20
21
#!/bin/sh
# Gonéri Le Bouder <goneri@rulezlan.org>
# See http://bugs.debian.org/281164

DEFAULT="m2"
THEME=`gconftool-2 --get /apps/teg/theme`

if [ "$THEME" = "" ]; then
	NEEDTOFIX=1
fi

if [ "`ls /usr/share/games/teg/pixmaps/teg_pix/themes|grep "$THEME"`" = "" ]; then
	NEEDTOFIX=1
fi

if [ "$NEEDTOFIX" = "1" ]; then
	echo "fixing default theme"
	gconftool-2 --type string --set /apps/teg/theme $DEFAULT 
fi

exec /usr/lib/games/teg/tegclient