Bash: internal time command successful redirect
So today I was struggling with `time’ trying to get it to redirect. Basically what I wanted to do was time the output of a file, then pipe both timing and file output to gzip for compression. After struggling with … Continue reading