Sous Linux, essayez man 7 signal .
kill -HUP 1234 signifie "envoyer le signal SIGHUP (1) pour traiter 1234", donc c'est équivalent à kill -1 1234 . Le signal par défaut envoyé par kill est SIGTERM (15), donc kill 1234 est équivalent à kill -TERM 1234 ou kill -15 1234 .
-HUP n'est-ce pas les trois drapeaux H , U , P comme dans la syntaxe commune des options à une seule lettre. Pour des raisons historiques, le kill La commande prend un nom de signal optionnel ou un numéro de signal précédé d'un tiret (- ).
kill -1 1234
kill -HUP 1234
(Par opposition à kill 1 1234 , qui enverrait le signal par défaut (SIGTERM) aux processus 1 et 1234.)
Votre page de manuel répertorie probablement quelque chose comme ceci :
kill [ -signal | -s signal ] pid ...
Ce -signal signifie que vous pouvez utiliser un tiret suivi d'une désignation de signal (qui peut être un nom ou un numéro). Alternativement, vous pouvez utiliser le -s option suivie d'un nom de signal ; ce sont deux syntaxes différentes avec la même signification.
kill -l répertorie les noms de signaux disponibles et les numéros correspondants.
La plupart des signaux ont une signification prédéfinie basée sur qui les envoie quand et comment les processus sont supposés et capables d'y réagir.