Bonjour,

Je me demandais comment savoir quel shell est utilise, sachant que $SHELL contient le shell par defaut de l'utilisateur, et non pas le shell courrant.

De meme, /etc/passwd ne contient pas le shell courant, mais le shell qui sera lance lors du login de l'utilisateur. Il suffit d'en appeler un autre dans le .profile ou equivalent pour changer.

La seule commande que j'ai trouvee pour le moment ne fonctionne que sous Linux :
Code : Sélectionner tout - Visualiser dans une fenêtre à part
cat /proc/$$/cmdline
mais elle n'est pas portable, car suppose que l'OS utilise cela, ce qui ne sera pas le cas des unix, comme FreeBSD par exemple.

Merci