Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: PATCH: Allow more scripts without #!
- X-seq: zsh-workers 48068
- From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
- To: zsh-workers@xxxxxxx
- Cc: Justine Tunney <jtunney@xxxxxxxxx>
- Subject: Re: PATCH: Allow more scripts without #!
- Date: Tue, 16 Feb 2021 09:18:56 +0000 (GMT)
- Archived-at: <https://zsh.org/workers/48068>
- Archived-at: <http://www.zsh.org/sympa/arcsearch_id/zsh-workers/2021-02/1312238589.3873009.1613467136968%40mail2.virginmedia.com>
- Importance: Medium
- In-reply-to: <CAH+w=7a63=zqCKCDnbYJzPZZAP8PcVpHwRO-RnLJ6A2g6yxCrA@mail.gmail.com>
- List-id: <zsh-workers.zsh.org>
- References: <CANtdasR_vBwBJEKKVtX1pf7-jR3HPdesA5zhcvOvQ-TYu7CLfg@mail.gmail.com> <20210215154519.GA18776@tarpaulin.shahaf.local2> <CAH+w=7a63=zqCKCDnbYJzPZZAP8PcVpHwRO-RnLJ6A2g6yxCrA@mail.gmail.com>
> On 15 February 2021 at 22:44 Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx> wrote:
> On Mon, Feb 15, 2021 at 7:46 AM Daniel Shahaf <d.s@xxxxxxxxxxxxxxxxxx> wrote:
> >
> > Ping. This patch hasn't been reviewed.
>
> I looked through it and didn't find any technical issues. I don't
> know what if any effect the "release into the public domain" has on
> zsh's license, and I'm not presently in a position to easily pull
> patches from list messages into a push-able git sandbox, so I didn't
> go any further.
That's fine, being in the public domain means we can do anything we like with
it, but then so can anyone else --- it's a particularly weak requirement compared
with anything we usually have. I've committed it.
pws
Messages sorted by:
Reverse Date,
Date,
Thread,
Author