Gibt es einen Befehl wie time, der aber mehr Statistiken meldet? Es wäre toll, wenn ich etwas machen könnte wie: $ statistics some_command time: real 0m3.002s user 0m0.000s sys 0m0.000s memory: min 41K peak 2.5M mean 1.1M . . . Wenn es noch weiter gehen könnte, wäre das großartig. Momentan ende ich...