← Back to context Comment by Tom1380 4 days ago Wouldn't it also work with "env time" if that's easier to type? 3 comments Tom1380 Reply aaronmdjones 4 days ago It would also work to just write 'time'Quoting overrides aliases and builtins. $ 'time' -v -- echo hi hi Command being timed: "echo hi" [...] janc_ 3 days ago The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)
aaronmdjones 4 days ago It would also work to just write 'time'Quoting overrides aliases and builtins. $ 'time' -v -- echo hi hi Command being timed: "echo hi" [...]
janc_ 3 days ago 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…)