Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: exec
- X-seq: zsh-users 29986
- From: Ray Andrews <rayandrews@xxxxxxxxxxx>
- To: zsh-users@xxxxxxx
- Subject: Re: exec
- Date: Mon, 3 Jun 2024 08:29:22 -0700
- Archived-at: <https://zsh.org/users/29986>
- In-reply-to: <CAA=-s3xkbRvB3NwqzMX9KY7=Yi3+ef+LoJFTMuCCPFbCAsgK-w@mail.gmail.com>
- List-id: <zsh-users.zsh.org>
- References: <2bb9cec5-1293-4103-a73c-fd2a190cb65d@eastlink.ca> <CAA=-s3xr_GoeqRRAf+UBQQR8NiOz_Sy6=456SeAq1-+ens1rZA@mail.gmail.com> <aa551662-225c-44b4-8449-d56bd05cef7d@eastlink.ca> <CAA=-s3zd8zunKBgkVUvUUt76pBq=SAsh-mR1W=Ej2OVvRbVH5A@mail.gmail.com> <CAA=-s3xkbRvB3NwqzMX9KY7=Yi3+ef+LoJFTMuCCPFbCAsgK-w@mail.gmail.com>
exec by exiting after it executes the builtin command. So exec
echo whatever is just a shorter way of writing echo
whatever; exit.
Ok, that's clear. Polite of zsh to be consistent there. If one
types 'exec' then one wants exec to do what it does, so treat all
commands the same.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author