Le problème vient du fait que "sh" ne doit plus être bash mais un shell plus basique (genre dash) qui ne supporte pas $RANDOM. Pour que ça marche, lance ton script avec "bash faustus2.sh" ou simplement "./faustus2.sh"
Explication plus longue :
- La première ligne de ton script (le shebang) indique l'interpréteur à exécuter en cas de "./faustus2.sh". Mais dans ton exemple, tu le passes en paramètre d'une commande, qui ne tiendra donc pas compte du shebang.
- /bin/sh est bien souvent un lien symbolique vers un autre shell, fut-ce bash, zsh, dash, ou autre (ce lien est configurable). Il me semble qu'Ubuntu a changé récemment et le lien ne pointe plus par défaut vers bash (un shell avec pas mal de fonctions), mais vers dash (un shell avec juste le strict nécessaire à la norme, plus rapide) qui ne supporte pas $RANDOM.
# Ce n'est pas bash
Posté par Octabrain . En réponse au message script bash , OK sous ubuntu 7.10 mais KO sous ubuntu 8.04. Évalué à 5.
Explication plus longue :
- La première ligne de ton script (le shebang) indique l'interpréteur à exécuter en cas de "./faustus2.sh". Mais dans ton exemple, tu le passes en paramètre d'une commande, qui ne tiendra donc pas compte du shebang.
- /bin/sh est bien souvent un lien symbolique vers un autre shell, fut-ce bash, zsh, dash, ou autre (ce lien est configurable). Il me semble qu'Ubuntu a changé récemment et le lien ne pointe plus par défaut vers bash (un shell avec pas mal de fonctions), mais vers dash (un shell avec juste le strict nécessaire à la norme, plus rapide) qui ne supporte pas $RANDOM.