Giters

jichu4n / fish-command-timer

Fish shell extension for printing execution time for each command.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Implement execution duration using $CMD_DURATION

jichu4n opened this issue · comments

commented

Since the current compatibility target is already fish 2.2+, we can make use of $CMD_DURATION rather than using preexec hook to set the start time.