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

When does REPORTTIME trigger?

X-seq: zsh-users 28109
From: Zach Riggle <zachriggle@xxxxxxxxx>
To: Zsh Users <zsh-users@xxxxxxx>
Subject: When does REPORTTIME trigger?
Date: Wed, 21 Sep 2022 15:31:18 -0500
Archived-at: <https://zsh.org/users/28109>
List-id: <zsh-users.zsh.org>

I recently learned about REPORTTIME but I can't manage to get it to trigger.

    $ cat report.zsh
    #!/bin/zsh
    export REPORTTIME=4

    sleep 2
    echo 2

    sleep 5
    echo 5

    $ zsh report.zsh
    2
    5

Zach Riggle

Follow-Ups:
- Re: When does REPORTTIME trigger?
  - From: Dominik Vogt

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