1/2 Linux folks of bsky, help me out here:
If a command, timed with "time" in bash takes less real time, but the more sys time, when when piped to /dev/null/, then it is actually faster, right?
#linux #commandline #terminal #benchmarking
3 months ago