Hi Andy,
On Thu, Jul 10, 2003 at 12:35:00PM +0200, Andreas J Mueller wrote:
> Philip has already answered your question, but allow me to suggest
> another alternative:
> hostlist xxx = /path/to/host-file
thanks, that's of course a very good idea I have not thought of :-)
Chris