Skip to main content
8 events
when toggle format what by license comment
Feb 28, 2017 at 21:31 comment added ctrl-alt-delor @alexis also \time.
Jan 29, 2016 at 9:34 comment added alexis Thanks for the tip about using 'time' to get the executable-- handier than writing /usr/bin/time (or even command time :-)).
Jan 29, 2016 at 9:26 history edited Stéphane Chazelas CC BY-SA 3.0
added 278 characters in body
Jan 19, 2016 at 16:05 vote accept viuser
Jan 19, 2016 at 14:53 history edited Stéphane Chazelas CC BY-SA 3.0
added 271 characters in body
Jan 19, 2016 at 14:43 history edited Stéphane Chazelas CC BY-SA 3.0
added 65 characters in body
Jan 19, 2016 at 14:41 comment added cuonglm Well, I often stress my head to remember that time is a keyword, not a shell builtin.
Jan 19, 2016 at 14:36 history answered Stéphane Chazelas CC BY-SA 3.0