[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [AUCTeX-devel] A simple patch displaying compilation time
From: |
Marcin Borkowski |
Subject: |
Re: [AUCTeX-devel] A simple patch displaying compilation time |
Date: |
Sun, 19 Feb 2017 16:36:44 +0100 |
User-agent: |
mu4e 0.9.19; emacs 26.0.50.5 |
On 2017-02-19, at 14:59, Arash Esbati <address@hidden> wrote:
> Hi Marcin,
>
> Marcin Borkowski <address@hidden> writes:
>
>> I have finally become bored enough of going to Eshell and saying "time
>> pdflatex <whetever>" instead of just pressing C-c C-c that I decided to
>> spend a few minutes writing this quite trivial patch. I would be
>> thankful for reviewing it and telling me what I should change in case
>> I messed something up (or accepting it if I didn't;-)).
>
> I like the idea. Besides what Mosè said, I have a question and my
Thanks!
> apologies in advance if I'm missing the obvious here:
>
>> +(defun TeX-compilation-time ()
>> + "Return string indicating the compilation time."
>> + (cond ((null TeX-start-time)
>> + "")
>> + (t (format " in %.1f seconds" (time-to-seconds (time-subtract
>> (current-time) TeX-start-time))))))
>
> This can be written like this, right?
>
> (if TeX-start-time
> (format ...)
> "")
Of course. Stupid me. I'll prepare a corrected patch later - stay
tuned. Thanks for catching this!
> Best, Arash
Best,
--
Marcin Borkowski
- Re: [AUCTeX-devel] support for xemacs, (continued)
- Re: [AUCTeX-devel] support for xemacs, Uwe Brauer, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Mosè Giordano, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Ikumi Keita, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Mosè Giordano, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Uwe Brauer, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Uwe Brauer, 2017/02/23
- Re: [AUCTeX-devel] support for xemacs, Tassilo Horn, 2017/02/23
Re: [AUCTeX-devel] A simple patch displaying compilation time, Arash Esbati, 2017/02/19
- Re: [AUCTeX-devel] A simple patch displaying compilation time,
Marcin Borkowski <=
Re: [AUCTeX-devel] A simple patch displaying compilation time, Mosè Giordano, 2017/02/19