3
Esiste un comando come il tempo, ma per l'utilizzo della memoria?
C'è qualche comando simile time, ma che riporta più statistiche? Sarebbe bello se potessi fare qualcosa del tipo: $ statistics some_command time: real 0m3.002s user 0m0.000s sys 0m0.000s memory: min 41K peak 2.5M mean 1.1M . . . Se potesse andare oltre, sarebbe fantastico. In questo momento, per il debug, …