Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: profile prompt rendering time

Awesome! Is there a way to do that but with the delta?

On Wed, Jul 13, 2016 at 8:49 PM, Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
wrote:

> On Jul 13,  2:37pm, Richo Healey wrote:
> }
> } You could do something fairly janky and just wrap your whole prompt in a
> } function that emits the prompt, and time(1)'s itself.
>
> Indeed,
>
>     time ( print -P "$PS1" )
>
> might actually provide all the information you want.  (You need the
> subshell because "time" on a built-in is a no-op.)
>
Messages sorted by: Reverse Date, Date, Thread, Author