Re: Shell
Bonjour,
Bonjour,
Pardon, j'ai envoyé mon message en privé au lieu de l'envoyer sur la liste.
Je reposte.
On 02/12/2018 04:01 PM, BERTRAND Joël wrote:
> Je me suis cru malin en écrivant :
>
> #!/bin/sh
> if [ `uname -s` = Linux ]; then
> /bin/bash
> else
> if [ -e /usr/pkg/bin/bash ]; then
> /usr/pkg/bin/bash
> else
> /bin/sh
> fi
> fi
> exit 0
Ce script ne prend en charge aucun argument alors qu'en principe
c'est le cas d'un shell. Éventuellement tenter de faire ça (où
"$@" permet de reprendre les arguments passés au script) :
------------------------
#!/bin/sh
if [ `uname -s` = Linux ]; then
/bin/bash "$@"
else
if [ -e /usr/pkg/bin/bash ]; then
/usr/pkg/bin/bash "$@"
else
/bin/sh "$@"
fi
fi
------------------------
Enfin si bash est correctement installé sur le système, la logique
voudrait qu'il soit dans le PATH. Dans ce cas, je tenterais plutôt :
if which bash >/dev/null
then
bash "$@"
else
/bin/sh "$@"
fi
--
François Lafont
Reply to:
- Follow-Ups:
- Re: Shell
- From: Gabriel Moreau <Gabriel.Moreau@legi.grenoble-inp.fr>
- References:
- Shell
- From: BERTRAND Joël <joel.bertrand@systella.fr>