Re: Completion and REPORTTIME

[Mikael Magnusson <mikachu@xxxxxxxxx>]

On 20/09/2012, Peter Stephenson <Peter.Stephenson@xxxxxxx> wrote:
> On Thu, 20 Sep 2012 14:57:19 +0200
> Julien Nicoulaud <julien.nicoulaud@xxxxxxxxx> wrote:
>> When REPORTTIME, time can be reported on some slow compdefs, which kinda
>> breaks output. I think time reporting should be disabled in the context
>> of
>> completion functions execution, don't you ?
>
> As it's dumped straight to stderr, it's hard to see any point in having
> it output automatically from any zle code.
>
> Index: Doc/Zsh/params.yo
> ===================================================================
> RCS file: /cvsroot/zsh/zsh/Doc/Zsh/params.yo,v
> retrieving revision 1.70
> diff -p -u -r1.70 params.yo
> --- Doc/Zsh/params.yo	15 Jun 2012 21:22:36 -0000	1.70
> +++ Doc/Zsh/params.yo	20 Sep 2012 14:10:47 -0000
> @@ -1225,7 +1225,10 @@ vindex(REPORTTIME)
>  item(tt(REPORTTIME))(
>  If nonnegative, commands whose combined user and system execution times
>  (measured in seconds) are greater than this value have timing
> -statistics printed for them.
> +statistics printed for them.  Output is surpressed for commands
                                           ^^^^^^^^^^
should be suppressed.


-- 
Mikael Magnusson