# HG changeset patch # User HackBot # Date 1471491399 0 # Node ID 31c51d120c6d71a428a8392671936809c61ddd16 # Parent e657ce4e6d8090420e9b6040c2843960b9949980 sled bin/`//s, [|] rnoo.*,, diff -r e657ce4e6d80 -r 31c51d120c6d bin/` --- a/bin/` Thu Aug 18 03:22:46 2016 +0000 +++ b/bin/` Thu Aug 18 03:36:39 2016 +0000 @@ -1,4 +1,4 @@ #!/bin/bash TIMEFORMAT="real: %lR, user: %lU, sys: %lS" shopt -s extglob globstar -eval -- "$1" | rnooodl +eval -- "$1"