Saya tidak dapat menemukan catatan bagaimana kill 0berperilaku di halaman manual membunuh saya (debian).
Tapi saya punya dua komentar:
(1) "Grup Proses" mungkin tidak seperti yang Anda harapkan. Anda dapat menampilkan ID Grup Proses (PGID) dengan ps -o "%p %P %r %c %a":
$ ps -o "%p %P %r %c %a"
PID PPID PGID COMMAND COMMAND
12124 12123 12124 zsh -zsh
12212 12124 12212 man man kill
12226 12212 12212 less less
12302 12124 12302 ps ps -o %p %P %r %c %a
Jadi, manbersama - sama dengan alat pager menampilkan ( less) berada di grup proses yang sama, tetapi itu berbeda dari shell (zsh dalam kasus saya).
(2) Mungkin ada dua killperintah yang berbeda . Satu dibangun ke bash(lihat bash (1), Bagian "SHELL BUILTIN PERINTAH") dan eksternal /bin/kill. Keduanya mungkin berperilaku berbeda! Anda dapat secara eksplisit menyatakan mana yang ingin Anda jalankan dengan mengetik builtin killatau command killalih-alih kill. Perintah eksternal Anda juga dapat menjalankan dengan menentukan jalan: /bin/kill.