[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] bootstrap problem
From: |
Jim Meyering |
Subject: |
Re: [Bug-wget] bootstrap problem |
Date: |
Wed, 6 May 2015 07:59:25 -0700 |
On Wed, May 6, 2015 at 1:46 AM, Giuseppe Scrivano <address@hidden> wrote:
> Ander Juaristi <address@hidden> writes:
>
>> On 05/06/2015 02:31 AM, Ángel González wrote:
>>> A really clean solution :)
>>>> test $(echo y) = y || exit 1
>>>
>>> It would be simple to add to bootstrap a line like
>>> > test $(echo y) = y || die 'No $() support. Please use a POSIX shell.'
>>>
>> Why don't we just add Bash to the dependency list, at README.checkout?
>> This is (or at least, should be) the first resource to read for current and
>> future Wget developers.
>
> that won't be enough, I am afraid. He had bash installed just /bin/sh
> was pointing somewhere else.
One of the other things that init.sh does it to iterate over
a few shell names, trying each in turn. If it finds one that
is good enough, it re-execs with that:
# Search for a shell that meets our requirements.
for re_shell_ in __current__ "${CONFIG_SHELL:-no_shell}" \
/bin/sh bash dash zsh pdksh fail
do
...
So, with "bash" somewhere in his PATH, using init.sh
would have found it.
- Re: [Bug-wget] bootstrap problem, Mariusz Balewski, 2015/05/04
- Re: [Bug-wget] bootstrap problem, Ángel González, 2015/05/04
- Re: [Bug-wget] bootstrap problem, Dagobert Michelsen, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Darshit Shah, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Dagobert Michelsen, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Ángel González, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Jim Meyering, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Ángel González, 2015/05/05
- Re: [Bug-wget] bootstrap problem, Ander Juaristi, 2015/05/06
- Re: [Bug-wget] bootstrap problem, Giuseppe Scrivano, 2015/05/06
- Re: [Bug-wget] bootstrap problem,
Jim Meyering <=
- Re: [Bug-wget] bootstrap problem, Ángel González, 2015/05/06
- Re: [Bug-wget] bootstrap problem, Mariusz Balewski, 2015/05/07
Re: [Bug-wget] bootstrap problem, Mariusz Balewski, 2015/05/05