wir time
in einer Unix-Umgebung verwenden können, um zu sehen, wie lange etwas hat ...Äquivalent Zeit für die Speicherüberprüfung
shell> time some_random_command
real 0m0.709s
user 0m0.008s
sys 0m0.012s
ist es ein Äquivalent für die Speichernutzung des Prozesses der Aufnahme (n)?
insbesondere ich bin in Peak-Zuweisung interessiert.
Auf Ubuntu 12.04 musste ich den vollen Pfad der Zeit verwenden, um das eingebaute zu überspringen und das echte zu verwenden, _i.e._ '/ usr/bin/Zeit -f" mem:% M "...'. Siehe [hier] (http://askubuntu.com/questions/86193/command-not-found-when-trying-to-set-a-format-for-the-time-command) – naitsirhc