Run sed only once
commit947cbd8bd2c29cf419626537555535125a0fd8ac
authorThomas Guyot-Sionnest <dermoth@aei.ca>
Wed, 5 Aug 2015 03:07:07 +0000 (4 23:07 -0400)
committerThomas Guyot-Sionnest <dermoth@aei.ca>
Wed, 5 Aug 2015 03:07:07 +0000 (4 23:07 -0400)
tree6b88344216f6abab77adda1e7468dab32ac93871
parent312f943143a6d5a7d2ae6c4c6884c99a155cad94
Run sed only once

Last change made it clear we could cut run time furthermore by piping
all lines to sed in one shot. This is much faster and provide the same
result.
scripts/colorize.sh