zsh-workers
 help / color / mirror / code / Atom feed
* return builtin to end a script
@ 2024-02-16 12:58 Vincent Lefevre
  2024-02-16 14:24 ` Peter Stephenson
  0 siblings, 1 reply; 3+ messages in thread
From: Vincent Lefevre @ 2024-02-16 12:58 UTC (permalink / raw)
  To: zsh-workers

The return builtin is currently specified only for shell functions
and "." scripts, while it would also be useful to end a script,
for instance to be able to use zsh script both as commands (e.g.
from non-zsh shells) and as autoloaded functions in zsh.

So I think that it would be useful to extend it to end a script.

-- 
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2024-02-16 15:01 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2024-02-16 12:58 return builtin to end a script Vincent Lefevre
2024-02-16 14:24 ` Peter Stephenson
2024-02-16 15:00   ` Peter Stephenson

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).