* Detect if sourced file has made a fork
@ 2016-02-02 14:58 Sebastian Gniazdowski
2016-02-02 17:54 ` Bart Schaefer
0 siblings, 1 reply; 2+ messages in thread
From: Sebastian Gniazdowski @ 2016-02-02 14:58 UTC (permalink / raw)
To: Zsh Users
Hello
Not seeing it can be anyhow possible but who knows.. Is it possible to
do: source "./a_file" and tell if `a_file' has done any pipe, ``, $()
?
Best regards,
Sebastian Gniazdowski
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Detect if sourced file has made a fork
2016-02-02 14:58 Detect if sourced file has made a fork Sebastian Gniazdowski
@ 2016-02-02 17:54 ` Bart Schaefer
0 siblings, 0 replies; 2+ messages in thread
From: Bart Schaefer @ 2016-02-02 17:54 UTC (permalink / raw)
To: Zsh Users
On Feb 2, 3:58pm, Sebastian Gniazdowski wrote:
}
} Not seeing it can be anyhow possible but who knows.. Is it possible to
} do: source "./a_file" and tell if `a_file' has done any pipe, ``, $()
} ?
Other than using a DEBUG trap and examining each command that is about
to be executed, I can't think of anything.
I take it you're trying to detect situations where an external command
execution could be replaced by a zsh construct.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-02-02 17:54 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-02-02 14:58 Detect if sourced file has made a fork Sebastian Gniazdowski
2016-02-02 17:54 ` 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).