Wouldn't it also work with "env time" if that's easier to type? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Tom1380 4 months ago \| parent \| context \| favorite \| on: Python 3.14 is here. How fast is it? Wouldn't it also work with "env time" if that's easier to type?

aaronmdjones 4 months 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_ 4 months ago | | [–]

The easiest to type is to make a 'time' alias (or shell function in fish, or whatever your shell prefers…)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact