This file is indexed.

/usr/bin/gcl is in gcl 2.6.12-76.

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
22
23
24
25
26
27
28
#!/bin/sh

EXT=
VERS=2.6.12

. /etc/default/gcl$EXT
if ! set | grep -q -w GCL_ANSI ; then GCL_ANSI=$DEFAULT_GCL_ANSI ; fi
if ! set | grep -q -w GCL_PROF ; then GCL_PROF=$DEFAULT_GCL_PROF ; fi

if [ "$GCL_PROF" = "" ] ; then 
    DIR=/usr/lib/gcl-$VERS ; 
else
    DIR=/usr/lib/gcl-$VERS-prof ; 
fi

if [ "$GCL_ANSI" = "" ] ; then 
    EXE=saved_gcl;
else
    EXE=saved_ansi_gcl;
fi
SYS=$DIR/unixport

exec $SYS/$EXE -dir $SYS/ -libdir $DIR/ \
   -eval '(setq si::*allow-gzipped-file* t)' \
   -eval '(setq si::*tk-library* "/usr/lib/tk8.6")' \
     "$@"

# other options: -load /tmp/foo.o -load jo.lsp -eval "(joe 3)"