I've had a situation in which I wanted to check the memory consumption of a long-running process on my machine. For this, I discovered I can use the time gnu utility (which is different from the bash time). I didn't know it was possible to have this information this way …
