# HG changeset patch # User HackBot # Date 1499295722 0 # Node ID af2c7f210c73c6026954fbd72a3afe0ed4c14751 # Parent 54a9b2ce69c4d11a494e9dffde188dcc82efcc24 sled bin/`//s,[$]1,$cmd,;1acmd="${1-quote}" diff -r 54a9b2ce69c4 -r af2c7f210c73 bin/` --- a/bin/` Mon Jul 03 21:06:32 2017 +0000 +++ b/bin/` Wed Jul 05 23:02:02 2017 +0000 @@ -1,4 +1,5 @@ #!/bin/bash +cmd="${1-quote}" TIMEFORMAT="real: %lR, user: %lU, sys: %lS" shopt -s extglob globstar -eval -- "$1" | rnooodl +eval -- "$cmd" | rnooodl