#!/bin/bash echo "\ Content-Type: text/xml Pragma: no-cache " #curl "http://www2.openmamba.org/cgi-bin/autodist-internal.cgi?$QUERY_STRING" --stderr /dev/null curl "https://buildvm01.openmamba.org/cgi-bin/autodist?$QUERY_STRING&FORMAT=xml" --stderr /dev/null