Retourner au contenu associé (entrée de forum : PID Père et fils: HELP)
Posté par jjl (site web personnel) le 09 février 2006 à 11:23. En réponse au message PID Père et fils: HELP. Évalué à 3.
man bash $ Se transforme en PID du shell. Dans un sous-shell (), il se transforme en PID du shell,et non pas du sous-shell. ! Se transforme en PID de la commande (asynchrone) exécutée en arrière-plan le plus récemment.
$ cat pere.sh #!/bin/bash echo "pere: $$" ./fils.sh & echo "fils: $!" $ cat fils.sh #!/bin/bash echo "fils2: $$" $ ./pere.sh pere: 5951 fils: 5952 fils2: 5952
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: 2 solutions
Posté par jjl (site web personnel) . En réponse au message PID Père et fils: HELP. Évalué à 3.
et un exemple: