Questions marquées «signals»

Un signal est un message qui peut être envoyé à un processus en cours. Les signaux peuvent être initiés par des programmes, des utilisateurs ou des administrateurs.

4
Transférer SIGTERM à l'enfant dans Bash
J'ai un script Bash, qui ressemble à ceci: #!/bin/bash echo "Doing some initial work...."; /bin/start/main/server --nodaemon Maintenant, si le shell bash exécutant le script reçoit un signal SIGTERM, il doit également envoyer un SIGTERM au serveur en cours d’exécution (ce qui bloque, donc aucune interruption possible). Est-ce possible?
86 bash  shell  signals  docker 
2
Comment signaler la fin de l'entrée stdin
Dans Bash, j'ai appris que le signal final peut être changé par le document ici. Mais par défaut, comment puis-je signaler la fin de l'entrée stdin? Il m'est arrivé de constater qu'avec cat et chardet, leurs entrées stdin peuvent être signalées comme terminées par Ctrl + d. Mais je semble …
3
“Piège… INT TERM EXIT” vraiment nécessaire?
De nombreux exemples à traputiliser trap ... INT TERM EXITpour les tâches de nettoyage. Mais est-il vraiment nécessaire d'énumérer les trois sigspecs? Le manuel dit: Si SIGNAL_SPEC est EXIT (0), ARG est exécuté à la sortie du shell. que je crois s’applique que le script se termine normalement ou qu’il …
63 bash  shell  signals  trap 
7
Timing out dans un script shell
J'ai un script shell qui lit à partir d'une entrée standard . Dans de rares cas, personne ne sera prêt à apporter une contribution et le script doit expirer . En cas de dépassement de délai, le script doit exécuter du code de nettoyage. Quelle est la meilleure façon de …
53 shell  signals  timeout 
9
Terminer une boucle infinie
J'ai une commande que je veux relancer automatiquement chaque fois qu'elle se termine, alors j'ai lancé quelque chose comme ceci: while [ 1 ]; do COMMAND; done; mais si je ne peux pas arrêter la boucle avec Ctrl-cça, ça tue COMMANDet pas la boucle entière. Comment pourrais-je obtenir quelque chose …
52 bash  signals 
9
Impossible d'arrêter un script bash avec Ctrl + C
J'ai écrit un script bash simple avec une boucle pour imprimer la date et un ping sur une machine distante: #!/bin/bash while true; do # *** DATE: Thu Sep 17 10:17:50 CEST 2015 *** echo -e "\n*** DATE:" `date` " ***"; echo "********************************************" ping -c5 $1; done Quand je le …
42 bash  terminal  signals 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.