Fix shell timers usage

img-downscale-rgb.sh

@@ -15,9 +15,9 @@ input="$3"
 output="$4"
 
 tmpfile="${XDG_RUNTIME_DIR}/tmp_view_$(basename ${3})_$( cat /dev/urandom | tr -cd '[[:alnum:]]' | head -c10 ).png"
-time convert "${input}" -sample $(( width * 3 ))x$((height * 3 ))\! \
           -channel Red   -morphology Convolve '3x1: 0, 0, 1' \
           -channel Blue  -morphology Convolve '3x1: 1, 0, 0' \
+env time -f '%E' convert "${input}" -sample $(( width * 3 ))x$((height * 3 ))\! \
           -sample ${width}x${height}\! \
           -depth 16 -quality 100 -sampling-factor 1x1 "${tmpfile}"
 

img-fft-resynth.sh

@@ -13,7 +13,7 @@ help() {
     printf '%s\n' "Usage: $( basename $0) [--width PIXELS] [--height PIXELS] [--depth BITS] [--bands INTEGER] [--tmpdir PATH] INPUT_FILE OUTPUT_FILE"
 }
 
-TIMER="time -f '%E'"
+TIMER="env time -f '%E'"
 
 check_arg_missing='
 if ! shift || [ -z "$*" ] ; then