This file is indexed.

/usr/share/doc/bash/examples/scripts.v2/pmtop is in bash-doc 4.2+dfsg-0.1+deb7u3.

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

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
#! /bin/bash
#
# pmtop - poor man's `top' for SunOS 4.x
#

CLEAR=clear	# could also be 'tput clear'
HEADER="USER       PID %CPU %MEM   SZ  RSS TT STAT START  TIME COMMAND"

if [ -n "$LINES" ]; then
	SS=$(( $LINES - 2 ))
else
	SS=20
fi

while :
do
	$CLEAR
	echo "$HEADER"
	ps -aux | sort -nr -k 3 | sed ${SS}q
	sleep 5
done

exit 0