Files
bash_utils/timing.sh
2024-03-22 07:02:10 +01:00

16 lines
399 B
Bash
Executable File

#!/bin/bash
timing() {
local start=$(($(date +%s%N)/1000000))
result=$($@)
local exit_code=$?
local end=$(($(date +%s%N)/1000000))
tookms=$((${end}-${start}))
# tooks=$(bc <<< "scale=3; $tookms/1000")
tooks=$(echo "scale=3; $tookms/1000" | bc | sed 's/^\./0./')
# echo >&2 "took ~${tookms}ms. exited with ${exit_code}"
echo $tooks $result
return $exit_code
}