Comment by Tom1380 Comment by Tom1380 4 days ago 3 replies Copy Link View on Hacker News Wouldn't it also work with "env time" if that's easier to type?
Copy Link aaronmdjones 4 days ago Next Collapse Comment - It would also work to just write 'time'Quoting overrides aliases and builtins. $ 'time' -v -- echo hi hi Command being timed: "echo hi" [...] Reply View | 0 replies
Copy Link janc_ 3 days ago Prev Next Collapse Comment - The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…) Reply View | 0 replies
It would also work to just write 'time'
Quoting overrides aliases and builtins.