[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: