This might be possible using the `time` command. If it is not possible we should mention that in the documentation.
This might be possible using the
timecommand.If it is not possible we should mention that in the documentation.