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

Feature request: REPORTMEMORY



The REPORTTIME feature of zsh is super useful. May I make a feature request for REPORTMEMORY? Reporting the peak RSS/VSIZE would be terribly useful, similar to GNU time.

Thanks!
Shaun

-- 
http://sjackman.ca


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