zsh-workers
 help / color / mirror / code / Atom feed
* Is there a way to put a timeout on a function?
@ 2020-08-31 14:59 Rudi C
  2020-09-04 21:14 ` Bart Schaefer
  0 siblings, 1 reply; 2+ messages in thread
From: Rudi C @ 2020-08-31 14:59 UTC (permalink / raw)
  To: zsh-workers

[-- Attachment #1: Type: text/plain, Size: 552 bytes --]

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: 610 bytes --]

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

end of thread, other threads:[~2020-09-04 21:15 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-08-31 14:59 Is there a way to put a timeout on a function? Rudi C
2020-09-04 21:14 ` Bart Schaefer

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).