Fix time description

This commit is contained in:
Andrea Cardaci 2018-06-04 17:21:24 +02:00
parent b2a2dccc82
commit 4eff8b534f

View File

@ -1,7 +1,7 @@
---
description: |
Note that the shell might have its own builtin time implementation, which may
behave differently than /usr/bin/time.
behave differently than` /usr/bin/time`, hence the absolute path.
functions:
execute-interactive:
- code: /usr/bin/time /bin/sh