Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: Getting information about dead processes

X-seq: zsh-users 22765
From: Peter Stephenson <p.stephenson@xxxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: Re: Getting information about dead processes
Date: Tue, 04 Jul 2017 12:39:13 +0100
Cms-type: 201P
In-reply-to: <87bmp0tqjd.fsf@gmail.com>
List-help: <mailto:zsh-users-help@zsh.org>
List-id: Zsh Users List <zsh-users.zsh.org>
List-post: <mailto:zsh-users@zsh.org>
Mailing-list: contact zsh-users-help@xxxxxxx; run by ezmlm
Organization: Samsung Cambridge Solution Centre
References: <CGME20170704112709epcas4p4b1ccfc1885203983ec5d0a3288de4560@epcas4p4.samsung.com> <87bmp0tqjd.fsf@gmail.com>

On Tue, 4 Jul 2017 13:00:54 +0200
Leah Neukirchen <leah@xxxxxxxx> wrote:
> in $? or $status we can find the exit code of the last process, but I
> can't see a way to find more detail about the exit status.  The job
> layer has access to WIFSIGNALED and WTERMSIG, and displays if a
> process died due to a signal.  How can I access this data from a zsh
> script/interactive session?

If the process died due to a signal, then 128 is added to the signal
value.  So 130 indicates a process died to to signal 2, almost certainly
SIGINT.  The status value itself would be irrelevant, as the process
didn't get the chance to return one.

pws

References:
- Getting information about dead processes
  - From: Leah Neukirchen

Messages sorted by: Reverse Date, Date, Thread, Author