Saya tidak dapat menemukan catatan bagaimana kill 0
berperilaku 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, man
bersama - 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 kill
perintah 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 kill
atau command kill
alih-alih kill
. Perintah eksternal Anda juga dapat menjalankan dengan menentukan jalan: /bin/kill
.