Re: Nom du shell courant

Top Page

Reply to this message
Author: YP
Date:  
To: Marc TERRIER
CC: guilde, pierre.veyan
Subject: Re: Nom du shell courant
Marc TERRIER a écrit :

Hello,

> 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.


En plus rapide :

yves@kazymodo:~$ ps -o "%c" -p $$ | tail -1
bash

En principe,

ps -h -o "%c" -p $$

devrait marcher. Mais l'option -h n'est pas une copine idéale...

Il reste à savoir si ça tourne sur un autre système que Linux avec
d'autres shells que bash.

YP