<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
  <META NAME="GENERATOR" CONTENT="GtkHTML/4.2.3">
</HEAD>
<BODY>
On Mon, 2012-04-23 at 00:15 +0200, Reindl Harald wrote: 
<BLOCKQUOTE TYPE=CITE>
<PRE>
Am 23.04.2012 00:09, schrieb Jonathan Ryshpan:
&gt; I need to get the IP numbers of local hosts, i.e. hosts inside my gateway's firewall.  The domain name server in
&gt; the gateway provides the IP addresses of hosts and sites on the internet, but does not provide the IP addresses for
&gt; hosts on my local net.  The gateway is aware of their names and addresses; one of its admin screens shows them,
&gt; exactly as they identify themselves.  A chat session with customer support (an extract follows) indicates that this
&gt; function is definitely not available.  The problem is not disastrous, since the addresses, once assigned, are
&gt; pretty much static, and so can be put into /etc/hosts.  However this looks a little like a hack. 

have you ever heard about DNS? :-)
</PRE>
</BLOCKQUOTE>
I have.&nbsp; The gateway includes a mini DNS server within itself, as you probably know.&nbsp; I could set up a DNS server on one of my hosts, but don't think this would be worth the trouble, since there will be at most 4 of them.&nbsp; Thanks for your advice, which is well meant though mischievously stated (;-).<BR>
<BR>
jon<BR>
<BR>
<BR>
<BR>
</BODY>
</HTML>