Le problème est simple; je veux dans un script bash lancer un processus parallèle, et au bout d'un certain temps tuer ce processus parallèle.
Pour l'instant je lance le processus par
machin &
Le problème est que je n'ai pas de manière propre de récupérer son pid.
ps | grep machin | cut -d " " -f2
, je trouve ça un peu crade et ça ne marche pas à tous les
coups.
killall machin, c'est encore plus crade.
Une (…)
Forum Programmation.shell Tuer son fils
16
nov.
2005