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

return builtin to end a script



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@xxxxxxxxxx> - 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)




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