Re: Nom du shell courant

Top Page

Reply to this message
Author: Stephane Bonhomme
Date:  
To: ML guilde
Subject: Re: Nom du shell courant

echo $0

Stéphane.

Le mercredi 18 février 2009 à 14:09 +0100, Xavier Bestel a écrit :
> On Wed, 2009-02-18 at 12:42 +0100, Marc TERRIER wrote:
> > Selon Aime Vareille <aime.vareille@???>:
> >
> > > Il y a aussi :
> > > env | grep SHELL
> >
> > Pas d'accord avec toi, Aime : je ne vois pas grande différence entre 'env | grep
> > SHELL' et 'echo ${SHELL}' ? Dans un cas comme dans l'autre, on consulte une
> > variable d'environnement, et si cette variable n'est pas convenablement mise à
> > jour, le résultat n'est pas fiable, ce qui était justement mon problème.
>
> Dont acte:
>
> [xbestel@skunk/aol:~]$ echo $SHELL
> /bin/tcsh
> [xbestel@skunk/aol:~]$ ps -e | grep $$ | awk '{ print $4; }'
> bash
>
> Le shell est bien bash.
>
>     Xav

>
>
>

-- 
           Stéphane Bonhomme           --           Exselt Services


        Formations, Conseil et Réalisations en Ingénierie Documentaire,
                    Technologies Web et Logiciels Libres 
             stephane@???   -   http://www.exselt.com
                04 57 39 30 78        /      06 88 57 27 08