Re: Nom du shell courant

Top Page

Reply to this message
Author: Pierre Colobert
Date:  
To: guilde
Subject: Re: Nom du shell courant

Bonjour,

Sur OpenBSD le résultat n'est pas très probant

kayou@vectar:~$ echo $SHELL
/bin/ksh

kayou@vectar:~$ ps -e | grep $$ | awk '{ print $4; }'
0:00.02

je ne sais pas du tout ce que peu bien représenter ce résultat


Le Wednesday 18 February 2009 11:59:36 Marc TERRIER, vous avez écrit :
> Bonjour,
>
> Une fois n'est pas coutume, ceci n'est pas une question, mais une info dont
> je vous fais profiter, pour ceux d'entre vous qui ne connaissent pas déjà,
> s'il y en a... ;-)
>
> Dans mon boulot actuel, je développe et je maintiens des scripts ksh, mais
> au quotidien, je préfère travailler sous tcsh ou bash, pour le rappel et
> l'édition des commandes. J'ai ressenti le besoin de savoir identifier de
> façon fiable le shell que j'utilise à un instant donné, mais echo ${SHELL}
> n'est pas fiable, justement, parce que sa mise à jour n'est pas automatique
> quand on passe d'un shell à un autre.
>
> Par tâtonnements successifs, j'ai fini par arriver à ceci :
>
> ps -e | grep $$ | awk '{ print $4; }'
>
> qui me donne le nom du shell courant, ni plus, ni moins.
>
> Tests OK sous Solaris 7, avec sh, ksh, csh et tcsh, et sous Solaris 10,
> avec ksh, csh, bash et tcsh ( parce qu'au boulot, je suis en Solaris, pas
> en Linux, mais logiquement, ça doit marcher sans problème aussi sous Linux
> ).