Hal:

Thanks again for the info.  This is what I was looking for.  Shouldn't be
too big a deal to execute the pump -s command right from within the
script, and then grep and cut the information I need.  Again, thanks for
your help on this.

- Mike

On Mon, 3 Jan 2000, Hal Burgiss wrote:

> On Sun, Jan 02, 2000 at 11:55:46PM -0500, Hal Burgiss wrote:
> > On Sun, Jan 02, 2000 at 10:30:15PM -0500, Michael J. McGillick wrote:
> > > Hal:
> > > 
> > > Thanks.  This is great.  Would you happen to know what file this
> > > information is stored in?
> > 
> > AFAIK, it is not stored anywhere, unless maybe you do it yourself:
> > 
> >  pump -s >> pump.log
> 
> Just to clarify, I believe pump is getting this info direct from the
> DHCP server, not from any stored file -- it is 'dynamic'.
> 
> -- 
> Hal B
> [EMAIL PROTECTED]
> --
>             Linux helps those who help themselves
> 
> 
> -- 
> To unsubscribe: mail [EMAIL PROTECTED] with "unsubscribe"
> as the Subject.
> 


-- 
To unsubscribe: mail [EMAIL PROTECTED] with "unsubscribe"
as the Subject.

Reply via email to