Make time available in the CLI

[johnbillion]

time is useful for timing how long a CLI command took and then using that time for planning things in the future. Unfortunately it's not installed on the cloud servers.

Can time be made available on the CLI please?

[mikelittle]

After some research, it looks like the version of bash included with Debian bookworm includes a built-in time command (technically a reserved keyword) https://www.gnu.org/software/bash/manual/html_node/Pipelines.html#index-time

Hence, you can already run commands like this:

www-data@581a658a7bdb:/usr/src/app$ time find / -type f -name 'notfound'
find: '/etc/polkit-1/rules.d': Permission denied
find: '/etc/ssl/private': Permission denied
find: '/proc/tty/driver': Permission denied
find: '/root': Permission denied
find: '/usr/share/polkit-1/rules.d': Permission denied
find: '/var/cache/apt/archives/partial': Permission denied
find: '/var/cache/ldconfig': Permission denied
find: '/var/lib/apt/lists/partial': Permission denied

real    0m0.747s
user    0m0.053s
sys     0m0.158s
www-data@581a658a7bdb:/usr/src/app$ 

Closing as already fulfilled. Please re-open if there is a requirement for the external time binary.