Re: Nom du shell courant

Page principale

Répondre à ce message
Auteur: Marc TERRIER
Date:  
À: Pierre Colobert
CC: guilde
Sujet: Re: Nom du shell courant
Pierre Colobert a écrit :
> 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


Bonsoir Pierre,

Je n'ai pas de machine OpenBSD sous la main, mais ça veut simplement dire qu'il suffit de remplacer le $4 du 'awk'. Fais
juste un 'ps -e | grep $$' ( sans les quotes, et sans awk derrière ) et regarde quel champ correspond au nom du shell.
Le chiffre après le $, dans awk, c'est juste le numéro du champ, en numérotant de gauche à droite à partir de $1.

Quant à ton 0:00.2, si ça se trouve, c'est le temps CPU consommé par le shell depuis son lancement, ou un truc comme ça
( 'man ps' est ton ami ).

--
Marc