* [RESEND] Is there a way to put a timeout on a function?
@ 2020-09-04 9:15 Aryn Starr
2020-09-04 18:45 ` Daniel Shahaf
0 siblings, 1 reply; 3+ messages in thread
From: Aryn Starr @ 2020-09-04 9:15 UTC (permalink / raw)
To: zsh-workers
[-- Attachment #1: Type: text/plain, Size: 922 bytes --]
Prescript: I sent this email 4 days ago, but somehow it is not appearing in the archives https://www.zsh.org/mla/workers/2020/index.html <https://www.zsh.org/mla/workers/2020/index.html> . This has happened with my other recent messages to the mailing list, and I am confused as to what is happening. Is this email being received but not put in the archives?
---
I need to limit the execution time of arbitrary zsh functions. Is there a way to achieve this? I'm ok with just adding a time limit to all the external commands, but I do not know how to do that. (I don't want to manually prefix all my commands with the GNU timeout command.)
On a sidenote, I would also like to make the shell stop forcefully (like when a glob fails) if it doesn't find an external command. I thought maybe these two problems might have similar solutions. Is prexec viable for them? Does preexec even work for noninteractive scripts?
[-- Attachment #2: Type: text/html, Size: 2718 bytes --]
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2020-09-04 19:52 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-09-04 9:15 [RESEND] Is there a way to put a timeout on a function? Aryn Starr
2020-09-04 18:45 ` Daniel Shahaf
2020-09-04 19:51 ` Daniel Shahaf
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).