[ale] Need a bit of help with bash.

[Charles Shapiro]

At least on the system I am looking at, wget(1)'s man page claims that
the default timeout is 15 minutes, but you can
change that to the value you want with the --timeout option.  There's
also a "--tries" option which sets the number of retries it
will take.  Surely between those two things you can get wget(1) to act
the way you wish.

-- CHS


On Thu, Feb 10, 2011 at 1:37 PM, Pete Hardie <pete.hardie at gmail.com> wrote:
> On Thu, Feb 10, 2011 at 13:20, Chuck Payne <terrorpup at gmail.com> wrote:
>> Guys,
>>
>> I have a script that does a wget, but if a server is not responing,
>> the the script deads. What is the best way to say if host x doesn't
>> return a value after 10 sec to stop.  I seen several example of
>> timeout function, but it looks I need to write a pid is that true?
>>
>>
>
> I've seen this handled by running a ping to the IP first, since ping
> has a timeout
> value already.  It assumes that successful ping will mean successful wget, but
> it might be a start
>
>
>
> --
> Pete Hardie
> --------
> Better Living Through Bitmaps
>
> _______________________________________________
> Ale mailing list
> Ale at ale.org
> http://mail.ale.org/mailman/listinfo/ale
> See JOBS, ANNOUNCE and SCHOOLS lists at
> http://mail.ale.org/mailman/listinfo
>