help / color / Atom feed
From: Chris Down <chris@chrisdown.name>
To: zsh-workers@zsh.org
Subject: Re: [PATCH] builtins: kill: Do not set signal on current shell when pid is empty
Date: Fri, 14 Feb 2020 12:02:53 -0400
Message-ID: <20200214160253.GB585820@chrisdown.name> (raw)
In-Reply-To: <20200214151556.GA624243@chrisdown.name>

Alternatively, I can make isanum false if the string is empty. It looks like 
maybe that's desirable for all current call sites.

Let me know if you'd prefer that, and if you do I can send a patch to that 

  reply index

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2020-02-14 15:15 Chris Down
2020-02-14 16:02 ` Chris Down [this message]
2020-02-15 13:52 ` [PATCH ALTERNATE] builtins: kill: Do not set signal on current pgroup " Chris Down
2020-02-15 14:10   ` Daniel Shahaf
2020-02-15 15:15     ` Chris Down

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20200214160253.GB585820@chrisdown.name \
    --to=chris@chrisdown.name \
    --cc=zsh-workers@zsh.org \


* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link


Archives are clonable: git clone --mirror http://inbox.vuxu.org/zsh-workers

Example config snippet for mirrors

Newsgroup available over NNTP:

AGPL code for this site: git clone https://public-inbox.org/public-inbox.git