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

Previous Next

Full log

Message #18 received at 66276 <at> debbugs.gnu.org (full text, mbox):

From: Stefan Kangas <stefankangas <at> gmail.com>
To: Philip Kaludercic <philipk <at> posteo.net>
Cc: 66276 <at> debbugs.gnu.org, Thuna <thuna.cing <at> gmail.com>
Subject: Re: bug#66276: Use a seperate time format in rcirc logfiles
Date: Wed, 10 Jan 2024 13:05:01 -0800

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?

Previous Next

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