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

Re: [PATCH] builtins: kill: Do not set signal on current shell when pid is empty

X-seq: zsh-workers 45427
From: Chris Down <chris@xxxxxxxxxxxxxx>
To: zsh-workers@xxxxxxx
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
In-reply-to: <20200214151556.GA624243@chrisdown.name>
List-help: <mailto:zsh-workers-help@zsh.org>
List-id: Zsh Workers List <zsh-workers.zsh.org>
List-post: <mailto:zsh-workers@zsh.org>
List-unsubscribe: <mailto:zsh-workers-unsubscribe@zsh.org>
Mailing-list: contact zsh-workers-help@xxxxxxx; run by ezmlm
References: <20200214151556.GA624243@chrisdown.name>

Alternatively, I can make isanum false if the string is empty. It looks likemaybe 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 thateffect.

References:
- [PATCH] builtins: kill: Do not set signal on current shell when pid is empty
  - From: Chris Down

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