Fermer un script avec son processus
Résolu
Integreur
Messages postés
90
Statut
Membre
-
Integreur Messages postés 90 Statut Membre -
Integreur Messages postés 90 Statut Membre -
Bonjour,
J'ai un problème qui me fait tourner en rond, je m'explique j'essayer d'émuler un terminal qui appelle un autre script et de l'arréter ensuite quand j'en ai plus besoin, donc de le stoper via son pid.
Quand je fais ça sur ma version de debian jessie ça marche niquel:
puis d'un autre terminal:
Ça marche et mon script lancé dans le terminal émulé s'arrete et la fenetre ou il a été lancé se ferme.Par contre sur une version de ubuntu avec les memes commandes ça ne marche pas du tout le terminal ou le script a été lancé ne se ferme pas et le script continu sa vie tranquillement.Pourtant il me détecte bien le processus car quand je fais avec ubuntu
Il me retourne:
Ou (1234) et un nombre factice représentant mon processus.Conclusion comment faire pour arriver a stoper ce processus sans avoir cette erreur ?
J'ai un problème qui me fait tourner en rond, je m'explique j'essayer d'émuler un terminal qui appelle un autre script et de l'arréter ensuite quand j'en ai plus besoin, donc de le stoper via son pid.
Quand je fais ça sur ma version de debian jessie ça marche niquel:
x-terminal-emulator -e bash monscript.sh & echo $! >/tmp/terminal.pid
puis d'un autre terminal:
kill `cat /tmp/terminal.pid`
Ça marche et mon script lancé dans le terminal émulé s'arrete et la fenetre ou il a été lancé se ferme.Par contre sur une version de ubuntu avec les memes commandes ça ne marche pas du tout le terminal ou le script a été lancé ne se ferme pas et le script continu sa vie tranquillement.Pourtant il me détecte bien le processus car quand je fais avec ubuntu
kill `cat /tmp/terminal.pid`
Il me retourne:
kill (1234) aucun processus trouvé
Ou (1234) et un nombre factice représentant mon processus.Conclusion comment faire pour arriver a stoper ce processus sans avoir cette erreur ?
A voir également:
- Fermer un script avec son processus
- Script vidéo youtube - Guide
- Comment fermer un compte paypal - Guide
- Comment fermer un compte gmail - Guide
- Ghost script - Télécharger - Polices de caractères
- Mas script - Accueil - Windows