#1 Le 02/10/2007, à 13:38
- Tangui
Commande pour savoir quel shell on utilise
Bonjour,
j'aimerais savoir s'il existe une commande qui dit quel type de shell on utilise (bash, tcsh, zsh, etc).
Merci d'avance
Hors ligne
#2 Le 02/10/2007, à 14:26
- farnsworth
Re : Commande pour savoir quel shell on utilise
echo $SHELL mais je sais pas si ca marche avec tous les shells...
sinon avec ps:
ps -p $$ et tu rajoutes ce que tu veux pour ne recuperer que l'info qui t'interesses, genre: ps -p $$ | tail -1 | awk '{print $4}'
ou encore plus simple: ps -p $$ -o ucmd=
Dernière modification par farnsworth (Le 02/10/2007, à 14:28)
Hors ligne
#3 Le 30/10/2008, à 15:33
- Blop
Re : Commande pour savoir quel shell on utilise
Excuser moi mais quelqu'un peut-il m'expliquer la commande : ps -p $$ -o ucmd= du post de farnsworth, j'ai pas envie de copier betement la commande ... je comprend pas en quoi consiste le $$ -o ucmd=.
Marchi !!!!
#4 Le 30/10/2008, à 15:39
- thy
Re : Commande pour savoir quel shell on utilise
sinon un petit
echo $0
Ça passe partout
Hors ligne
#5 Le 30/10/2008, à 17:40
- nicolas66
Re : Commande pour savoir quel shell on utilise
Sympa, merci pour l'astuce
"The computer was born to solve problems that did not exist before." (B. Gates)
Hors ligne
#6 Le 30/10/2008, à 20:22
- Totor
Re : Commande pour savoir quel shell on utilise
sinon un petit
echo $0
Ça passe partout
Petit bémol : $0 correspond au tout premier argument du processus dans lequel on se trouve. Il s'agit donc du nom du programme, script, fonction du contexte d'exécution.
donc c'est bien valable en ligne de commande (puisque le contexte d'exécution est le shell utilisé), mais
si tu lances un script, alors dans le contexte d'exécution de ce script, $0 est le nom du script
et si dans ce script, tu fais appelle à une fonction, alors $0 (au sein de la fonction) correspond au nom de la fonction elle-même....
-- Lucid Lynx --
Hors ligne