Re: Nom du shell courant

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.

--
Marc
Mail : marc.terrier [at] free.fr
Site : http://marc.terrier.free.fr