Skip to main content
added 209 characters in body
Source Link
slm
  • 379.8k
  • 127
  • 793
  • 897

You can use the enable command to disable certain built-ins.

$ enable -n kill

However time is a keyword so this won't work.

$ builtin time
bash: builtin: time: not a shell builtin

So you're left with creating an alias to override it:

$ alias time=/usr/bin/time

You can use the enable command to disable certain built-ins.

$ enable -n time

You can use the enable command to disable certain built-ins.

$ enable -n kill

However time is a keyword so this won't work.

$ builtin time
bash: builtin: time: not a shell builtin

So you're left with creating an alias to override it:

$ alias time=/usr/bin/time
Source Link
slm
  • 379.8k
  • 127
  • 793
  • 897

You can use the enable command to disable certain built-ins.

$ enable -n time