#!/bin/tcsh -f # fmb, 20001109, 20040922, 20160809 echo 'Content-type: text/html' echo '' echo '' echo 'F. Morán - Finger gateway' echo '' echo '
'
finger $1
echo '
' echo '' echo ''