78e21b5200
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
12 lines
193 B
Bash
Executable file
12 lines
193 B
Bash
Executable file
#!/bin/sh
|
|
|
|
START="$(date +%s)"
|
|
"$@"
|
|
END="$(date +%s)"
|
|
LENGTH=$((END-START))
|
|
LENGTHM=$((LENGTH/60))
|
|
|
|
echo "Run: ${LENGTH}s ($LENGTHM minutes)"
|
|
|
|
# Record values
|
|
echo "$@; ${LENGTH}" >> ~/.mytime
|