Builtins like "exec" redirection are not printed with xtrace

Builtins like "exec" redirection are not printed with xtrace

[Zach Riggle]

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

It seems that the following produces no output

    #!/bin/zsh
    setopt xtrace
    exec 1>/dev/null

Is there a reason that xtrace does not show the exec line?

Similarly, other commands with I/O redirection seem to not be logged in
xtrace, e.g.

    $ cat xt
    #!/bin/zsh
    setopt xtrace
    head -c 8 /bin/sh | xxd > /dev/null

    $ zsh xt
    +xt:3> head -c 8 /bin/sh
    +xt:3> xxd

Is there a way to get xtrace (or another option) to log the I/O redirection?

*Zach Riggle*

[-- Attachment #2: Type: text/html, Size: 1222 bytes --]