Installing cabal: ./bootstrap.sh: pushd: not found (probably because of /bin/sh)

[guest]

On Ubuntu, trying to install cabal using the "Quick Installation on Unix" instructions at  here says

Setup: At least the following dependencies are missing:
    Cabal >=1.4&&<1.5, HTTP >=3000&&<3002, zlib >=0.4
./bootstrap.sh: 24: popd: not found
./bootstrap.sh: 27: pushd: not found

and so on.

The reason is that bootstrap.sh has a "#!/bin/sh" shebang line, and pushd/popd are Bash extensions, not POSIX shell features, and Ubuntu uses dash, not bash, as /bin/sh (by default).

The fix is to make bootstrap.sh either not use Bash-specific extensions, or (easier) make the top line of bootstrap.sh say "#!/bin/bash" instead of "#!/bin/sh".

[It might be wise to make the same change in all other files that use Bash extensions; the tool "checkbashims" might be useful here.]

[duncan]

It is fixed in the 0.6.0 release.

[elga]

*  simyo

[edouard]

D'autre part, la palette d'informations detaillees relatives a l'obtention du code rio Simyo et du numero rio Virgin Mobile sont egalement disponibles.  rio bouygues