News for hackers. Stuff that matters.

A comment on /usr/bin/time: not the command you think you know. Parent comment

Re:/usr/bin/time: not the command you think you know by majewsky on Tuesday March 07, 2017 @05:47AM (#13809499) 

  $ pacman -Fo /usr/bin/time
  usr/bin/time is owned by extra/time 1.7-8
If that command doesn't work for you, try adding "-y". `man pacman` for details.
[ Parent | on HN ]

There are no comments on this comment yet.