Terminal関連

preexec() {
  timer=$(date +%s.%N)
}

precmd() {
  if [ -n "$timer" ]; then
    now=$(date +%s.%N)
    elapsed=$(awk "BEGIN {print $now - $timer}")
    timer_show=$(printf "%.2f" $elapsed)
    echo "Execution time: ${timer_show}s"
    unset timer
  fi
}