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

Re: PATCH: 4.1.0: `builtin' with disabled builtin.

X-seq: zsh-workers 14990
From: Oliver Kiddle <okiddle@xxxxxxxxxxx>
To: Zsh hackers list <zsh-workers@xxxxxxxxxxxxxx>
Subject: Re: PATCH: 4.1.0: `builtin' with disabled builtin.
Date: Wed, 20 Jun 2001 11:21:30 +0100
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
References: <20010615230613.D5F131428B@xxxxxxxxxxxxxxxxxxxxxxxx> <1010616043509.ZM4480@xxxxxxxxxxxxxxxxxxxxxxx>
Sender: kiddleo

Bart Schaefer wrote:
> 
> On Jun 16, 12:06am, Peter Stephenson wrote:
> }
> } It used to be possible to get round the fact that a builtin was disabled by
> } putting `builtin' in front of it

> } I think the old behaviour is useful and harmless.
> 
> Unless one is trying to use disable to create a restricted shell.  Then
> one has to disable builtin as well, which might not be desirable for

Would it maybe make sense to allow this behaviour except when the
restricted option is set? Basically, I agree with Peter that the `old
behaviour is useful and harmless' except in a restricted shell.

> I don't feel strongly one way or the other;

Neither do I really.

Oliver

References:
- PATCH: 4.1.0: `builtin' with disabled builtin.
  - From: Peter Stephenson
- Re: PATCH: 4.1.0: `builtin' with disabled builtin.
  - From: Bart Schaefer

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