PortForwardedHostTable: ipphosts.sh

#!/usr/bin/env mana

macro make.ipp.hosts
  exec rm -f ipp.hosts.config
  output ipp.hosts.config

  echo "# --- start of IPP port-forwarded hosts ---"

  # ipp005 - ipp066 = ipp5u.ifa.hawaii.edu:90NN
  for i 5 66 -incl
    if ($i == 22) continue
    sprintf name ipp%03d $i
    echo "Host $name"
    echo "     HostName ipp5u.ifa.hawaii.edu"
    echo "     Port {9000+$i}"
    echo ""
  end

  # ipp005 - ipp066 = ipp5u.ifa.hawaii.edu:90NN
  # note: 9031 - 9034 = stare01 - stare04
  for i 1 63
    if ($i == 17) continue;
    if ($i == 18) continue;
    if ($i == 19) continue;
    sprintf name ippc%02d $i
    echo "Host $name"
    echo "     HostName ippc.ifa.hawaii.edu"
    if ($i < 30) 
      echo "     Port {9000+$i}"
    else
      echo "     Port {9000+$i+5}"
    end
    echo ""
  end

  for i 1 5
    sprintf name stare%02d $i
    echo "Host $name"
    echo "     HostName ippc.ifa.hawaii.edu"
    echo "     Port {9000+$i+30}"
    echo ""
  end   
  echo "# --- end of IPP port-forwarded hosts ---"

  output stdout
end

if ($SCRIPT)
  make.ipp.hosts
  exit 0
end