Et si j'ai inversé /bin/bash et /bin/ksh , est-ce que le cat /proc/$$/cmdline est encore fiable ? Je veux dire, si le nom de l'exécutable de mon shell n'est pas le nom du shell en question ?
Edit: c'est bien ce que je pensais ... Si j'appelle mon shell par la commande /bin/sh (qui est un lien symbolique vers /bin/bash ou autre), le "cat /proc/$$/cmdline" me sort logiquement "/bin/sh", du coup je ne sais pas quel shell j'utilise vraiment ...
Pour trouver avec certitude quel shell on utilise, il faudrait pousser un peu plus loin, genre:
`cat /proc/$$/cmdline` --version
Message édité par [Albator] le 28-10-2003 à 11:55:57