GNU bug report logs - #40945
Rottlog service should create filenames with a '.gz' extension

Previous Next

Package: guix;

Reported by: Leo Famulari <leo <at> famulari.name>

Date: Tue, 28 Apr 2020 17:42:01 UTC

Severity: normal

Done: Brice Waegeneire <brice <at> waegenei.re>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 40945 in the body.
You can then email your comments to 40945 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#40945; Package guix. (Tue, 28 Apr 2020 17:42:01 GMT) Full text and rfc822 format available.

Acknowledgement sent to Leo Famulari <leo <at> famulari.name>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Tue, 28 Apr 2020 17:42:01 GMT) Full text and rfc822 format available.

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

From: Leo Famulari <leo <at> famulari.name>
To: bug-guix <at> gnu.org
Subject: Rottlog service should create filenames with a '.gz' extension
Date: Tue, 28 Apr 2020 13:36:53 -0400
Currently, the rottlog service in %base-services creates old rotated
logs that are named like "messages.1", "messages.2", etc.

However, these files are compressed with gzip, and gzip refuses to
decompress them until you add '.gz' to the end of the filenames.

I think this should be happening by default but for some reason is
not. rottlog-configuration uses as the default configuration
(file-append rottlog "/etc/rc"), and that file does call for this
extension to be added...




Information forwarded to bug-guix <at> gnu.org:
bug#40945; Package guix. (Wed, 29 Apr 2020 07:45:01 GMT) Full text and rfc822 format available.

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

From: Brice Waegeneire <brice <at> waegenei.re>
To: leo <at> famulari.name
Cc: 40945 <at> debbugs.gnu.org
Subject: Re: [bug #40945] Rottlog service should create filenames with a '.gz'
 extension
Date: Wed, 29 Apr 2020 07:43:52 +0000
Hello Leo,

In /etc/rottlog/rc the line “extension="gz"” has for only effect to 
expand
the meta-variable “@COMP_EXT”[0] which isn't used by default. For it to 
be
appended to every rotated log file we need to add the line “storefile
@FILENAME.@COMP_EXT” to /etc/rottlog/weekly, which specify the filename 
for
the rotated log file[1][2]. At least that's what I understand after
skimming through the documentation, I have send a patch[3] but it's
untested.

[0]: 
https://www.gnu.org/software/rottlog/manual/rottlog.html#Mandatory-RC-Variables
[1]: 
https://www.gnu.org/software/rottlog/manual/rottlog.html#Use-of-meta_002dvariables
[2]: 
https://www.gnu.org/software/rottlog/manual/rottlog.html#Configuration-parameters
[3]: https://issues.guix.info/issue/40953

Cheers,
- Brice




Reply sent to Brice Waegeneire <brice <at> waegenei.re>:
You have taken responsibility. (Wed, 06 May 2020 09:20:02 GMT) Full text and rfc822 format available.

Notification sent to Leo Famulari <leo <at> famulari.name>:
bug acknowledged by developer. (Wed, 06 May 2020 09:20:03 GMT) Full text and rfc822 format available.

Message #13 received at 40945-done <at> debbugs.gnu.org (full text, mbox):

From: Brice Waegeneire <brice <at> waegenei.re>
To: 40945-done <at> debbugs.gnu.org
Date: Wed, 06 May 2020 09:19:36 +0000
Fixed by ab034adfe86333fccd6afe476806f169e2074d69.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 03 Jun 2020 11:24:05 GMT) Full text and rfc822 format available.

This bug report was last modified 5 years and 13 days ago.

Previous Next


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