view bin/` @ 6177:8e8c1facf2b0

<b_jonas> ` x=bin/datei; >"$x" $\'#!/bin/sh\\nexec date --rfc-3=n "$@"\' && chmod a+x "$x"
author HackBot
date Tue, 03 Nov 2015 17:38:28 +0000
parents 56dcce63901b
children d3d7c1e6e92d
line wrap: on
line source

TIMEFORMAT='real: %lR, user: %lU, sys: %lS' exec bash -c -- "$1"