GNU bug report logs - #66276
Use a seperate time format in rcirc logfiles

Previous Next

Full log

View this message in rfc822 format

From: Philip Kaludercic <philipk <at> posteo.net>
To: Stefan Kangas <stefankangas <at> gmail.com>
Cc: 66276 <at> debbugs.gnu.org, Thuna <thuna.cing <at> gmail.com>
Subject: bug#66276: Use a seperate time format in rcirc logfiles
Date: Thu, 11 Jan 2024 07:57:44 +0000

Stefan Kangas <stefankangas <at> gmail.com> writes:

> Philip Kaludercic <philipk <at> posteo.net> writes:
>
>> Stefan Kangas <stefankangas <at> gmail.com> writes:
>>
>>> Thuna <thuna.cing <at> gmail.com> writes:
>>>
>>>> I believe that it is best to have two different time formats for
>>>> logfiles and normal rcirc buffers.  Logfiles need additional precision,
>>>> specifically the date and maybe the time zone, while normal buffers do
>>>> not.
>>>>
>>>> The patch adds a single variable, rcirc-log-time-format, to control the
>>>> time format in logfiles, which is done by replacing the usage of
>>>> rcirc-time-format in rcirc-log with it.
>>>>
>>>> I figured "%F %T %z " was a sensible default, although feel free to
>>>> change it as you wish.
>>>
>>> Philip, could you please take a look at this patch?
>>
>> We have already merged a similar functionality with bug#67597.
>
> So what should we do with this one?  Close?

We can close it.  Does it also have to be marked as duplicate?

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.