This file is indexed.

/usr/bin/gfs-highlight is in gerris 20131206+dfsg-7.

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
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
#!/bin/sh

wiki="http:\/\/gfs.sf.net\/wiki\/index.php"
title=""
css="darcs.css"

path="/usr/share/gerris"

usage()
{
	cat <<EOF
Usage: gfs-highlight [OPTIONS] < input.gfs > output.html

Syntax highlighting/hypertext linking of Gerris simulation files.

Options:
	[--title=TITLE] sets the page title
	[--css=FILE]    sets the CSS stylesheet filename
        [--comments]    include comment block at the start
        [--bold]        use bold instead of links
        [--help]        displays this message and exits
EOF
	exit $1
}

comment=0
bold=0
while test $# -gt 0; do
  case "$1" in
  -*=*) optarg=`echo "$1" | sed 's/[-_a-zA-Z0-9]*=//'` ;;
  *) optarg= ;;
  esac

  case $1 in
    --title=*)
      title=$optarg
      ;;
    --css=*)
      css=$optarg
      ;;
    --comment)
      comment=1
      ;;
    --bold)
      bold=1
      ;;
    --help)
      usage 0 1>&2
      ;;
    *)
      usage 0 1>&2
      ;;
  esac
  shift
done

if test "x$title" = "x"; then :
cat <<EOF
<tt class="gfs">
EOF
else
cat <<EOF
<html>
<head>
<title>$title</title>
<link rel="stylesheet" type="text/css" href="$css">
</head>
<body><tt class="gfs">
EOF
fi

file=`mktemp gfs-highlight.XXXXXX`
ln -s -f $path/gfs.lang $file

awk -v comment=$comment 'BEGIN{ infile=comment } {
       if ($2 == "Generated" && $3 == "files:") {
         infile = 1; 
         while ($1 == "#") getline; 
         print $0; 
       }
       else if (infile) 
         print $0;
       else if ($5 == "GfsGEdge") {
         infile = 1;
         print $0;
       }
     }' | \
source-highlight --lang-def=$file --out-format=html-css | \
(
if test $bold = "1"; then
    sed "s/\"classname\">\(Gfs\)\{0,1\}\([a-zA-Z0-9_]*\)<\/span>/"classname"><b>\1\2<\/b><\/span>/g"
else
    sed "s/\"classname\">\(Gfs\)\{0,1\}\([a-zA-Z0-9_]*\)<\/span>/"classname"><a href=\"$wiki\/Gfs\2\">\1\2<\/a><\/span>/g"
fi
)

rm -f $file

if test "x$title" = "x"; then :
cat <<EOF
</tt>
EOF
else
cat <<EOF
</tt></body>
</html>
EOF
fi