Work around $CMD_DURATION bug in fish < 2.5.0

Fixes #67
This commit is contained in:
Justin Hileman 2017-01-21 05:12:59 -08:00
parent 249807071e
commit 73b3bd0ea3

View File

@ -3,7 +3,7 @@
function __bobthefish_cmd_duration -S -d 'Show command duration'
[ "$theme_display_cmd_duration" = "no" ]; and return
[ "$CMD_DURATION" -lt 100 ]; and return
[ -z "$CMD_DURATION" -o "$CMD_DURATION" -lt 100 ]; and return
if [ "$CMD_DURATION" -lt 5000 ]
echo -ns $CMD_DURATION 'ms'