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

Re: profile prompt rendering time

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