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

Re: what does 'interactive' mean?

X-seq: zsh-users 26892
From: Peter Stephenson <p.w.stephenson@xxxxxxxxxxxx>
To: zsh-users@xxxxxxx
Subject: Re: what does 'interactive' mean?
Date: Tue, 10 Aug 2021 14:54:54 +0100 (BST)
Archived-at: <https://zsh.org/users/26892>
Importance: Medium
In-reply-to: <YRKDjkHP7UMAcq1m@isis.sigpipe.cz>
List-id: <zsh-users.zsh.org>
References: <YRHrWtkE6y1zdha0@isis.sigpipe.cz> <939622201.802587.1628597522569@mail2.virginmedia.com> <YRKDjkHP7UMAcq1m@isis.sigpipe.cz>

> On 10 August 2021 at 14:47 Roman Neuhauser <neuhauser@xxxxxxxxxx> wrote:
> i disagree, this is an unnecessary indirection.  i propose
> 
>   s/if the shell is interactive/if the INTERACTIVE option is set/g
> 
> it's longer by a negligible margin and needs no further cross-reference.

You're right, that's perfectly reasonable.

pws

References:
- what does 'interactive' mean?
  - From: Roman Neuhauser
- Re: what does 'interactive' mean?
  - From: Peter Stephenson
- Re: what does 'interactive' mean?
  - From: Roman Neuhauser

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