annotate bin/` @ 8254:0ce6ec3bab82

<shachaf> forget chaf
author HackBot
date Wed, 01 Jun 2016 04:15:10 +0000
parents dbad4cfe38b4
children 31c51d120c6d
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6840
d3d7c1e6e92d <izabera> ` printf \'#!/bin/bash\\nTIMEFORMAT="real: %%lR, user: %%lU, sys: %%lS"\\neval -- "$1"\\n\' > bin/\\`
HackBot
parents: 5643
diff changeset
1 #!/bin/bash
d3d7c1e6e92d <izabera> ` printf \'#!/bin/bash\\nTIMEFORMAT="real: %%lR, user: %%lU, sys: %%lS"\\neval -- "$1"\\n\' > bin/\\`
HackBot
parents: 5643
diff changeset
2 TIMEFORMAT="real: %lR, user: %lU, sys: %lS"
6841
268beaec77b0 <izabera> ` printf \'#!/bin/bash\\nTIMEFORMAT="real: %%lR, user: %%lU, sys: %%lS"\\nshopt -s extglob globstar\\neval -- "$1"\\n\' > bin/\\`
HackBot
parents: 6840
diff changeset
3 shopt -s extglob globstar
7244
dbad4cfe38b4 <shachaf> ` sed -i \'4s/$/ | rnooodl/\' \'bin/`\'
HackBot
parents: 6841
diff changeset
4 eval -- "$1" | rnooodl