vefatica May 12,949 172 Aug 11, 2017 #1 Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.
Useful (when timing things at the command line) would be an optional parameter that would cause a timer to be turned off upon Ctrl-C.