zsh-users
 help / color / mirror / code / Atom feed
* Feature request: REPORTMEMORY
@ 2016-06-08 19:44 Shaun Jackman
  2016-06-09 10:15 ` Peter Stephenson
  0 siblings, 1 reply; 7+ messages in thread
From: Shaun Jackman @ 2016-06-08 19:44 UTC (permalink / raw)
  To: zsh-users

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

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

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

end of thread, other threads:[~2016-06-15 11:25 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-06-08 19:44 Feature request: REPORTMEMORY Shaun Jackman
2016-06-09 10:15 ` Peter Stephenson
2016-06-09 10:39   ` Peter Stephenson
2016-06-10  6:20     ` Bart Schaefer
2016-06-13 15:31       ` Peter Stephenson
2016-06-14 16:25         ` Bart Schaefer
2016-06-15 11:25           ` Peter Stephenson

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