[PATCH 8 of 8 v4] histedit: log the time taken to read in the commands list

[Simon Farnsworth]

On 13/02/2017 18:03, Bryan O'Sullivan wrote:
>
> On Mon, Feb 13, 2017 at 9:29 AM, Simon Farnsworth <simonfar at fb.com
> <mailto:simonfar at fb.com>> wrote:
>
>     histedit: log the time taken to read in the commands list
>
>     If we're being fed an external command list (histedit --commands),
>     then the
>     time spent reading that file is out of our control. Log it.
>
>
> I don't think it's worth measuring this, and this patch can reasonably
> be dropped.

I disagree, because the external list can also be fed from stdin.

I'll beef up this commit message to make it clearer.

-- 
Simon Farnsworth