[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-bash] Howto get tags into TIMEFORMAT? (was Re: howto redirect
From: |
Chet Ramey |
Subject: |
Re: [Help-bash] Howto get tags into TIMEFORMAT? (was Re: howto redirect time output to perl -pe "chomp; "? |
Date: |
Wed, 4 Jan 2017 08:27:57 -0500 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0) Gecko/20100101 Thunderbird/45.6.0 |
On 1/3/17 4:23 PM, Larry Evans wrote:
> On 01/03/2017 03:14 PM, Chet Ramey wrote:
>> On 1/3/17 3:09 PM, Larry Evans wrote:
>>
>>> for TIMEFORMAT lead to the following:
>>>
>>> If this variable is not set, Bash acts as if it had the value
>>>
>>> $'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS'
>>>
>>> So, I figured I could use:
>>>
>>> TIMEFORMAT='\nreal\t%1R'
>>
>> You forgot the leading `$'.
>>
> I should have also said I tried that, but got this:
You need to double the `$' to get it through make and into the shell
that runs the recipe.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU address@hidden http://cnswww.cns.cwru.edu/~chet/
Re: [Help-bash] howto redirect time output to perl -pe "chomp;"?, Chet Ramey, 2017/01/03