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