#!/bin/bash
echo $header
ext=${file/*.}
range=10000
filename="/var/www/www.openmamba.org/$file"
filename_check=`readlink -f $filename`
[ "${filename_check:0:27}" = "/mnt/sdc1/ftp/pub/openmamba" ] || exit 0
filelines=`wc -l $filename | awk '{ print $1 }'`
filepages=`expr $filelines / $range + 1`
if [ "$page" ]; then
   [ $page -gt 0 ] || page=1
else
   page=1
fi
from=`expr \( $page - 1 \) \* $range + 1`
to=`expr $from \+ $range - 1`
nextpage=`expr $page + 1`
prevpage=`expr $page - 1`
[ $from -ge $range ] && echo -n "<a href=\"showfile.html?file=$file&page=$prevpage\">&lt;</a>&nbsp;" || echo -n "&lt;&nbsp;"
idxsize=20
[ $page -gt $idxsize ] && idxfrom=`expr $page - $idxsize` || idxfrom=1
idxto=`expr $idxfrom + $idxsize \* 2`
[ $idxto -le $filepages ] || idxto=$filepages
[ $filepages -gt $idxsize ] && idxst=`expr $page - $idxsize` || idxst=1
for i in `seq $idxfrom $idxto`; do
   if [ $i -eq $page ]; then
      echo -n "$i&nbsp;"
   else
      echo -n "<a href=\"showfile.html?file=$file&page=$i\">$i</a>&nbsp;"
   fi
done
[ $to -lt $filelines ] && echo -n "<a href=\"showfile.html?file=$file&page=$nextpage\">&gt;</a>&nbsp;" || echo -n "&gt;&nbsp;"
echo
exit 0