Wouldn't it also work with "env time" if that's easier to type?
It would also work to just write 'time'
Quoting overrides aliases and builtins.
$ 'time' -v -- echo hi hi Command being timed: "echo hi" [...]
The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)
It would also work to just write 'time'
Quoting overrides aliases and builtins.
The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)