4 ms·
> I’m calling /usr/bin/time here to avoid using my shell’s built-in time command [...]. I prefer to use command in this scenario. $ command time
by pdknsk 12y ago
> I’m calling /usr/bin/time here to avoid using my shell’s built-in time command [...].
I prefer to use command in this scenario.
$ command time