On Tue, Mar 22, 2022 at 05:17:28PM +0000, Andrea Bolognani wrote: > On Tue, Mar 22, 2022 at 01:11:22PM +0100, Erik Skultety wrote: > > Since GitLab sets a proper MIME for .txt and .log file extensions, > > rename all Avocado log files without an extension to *.log . This pairs > > nicely with the coredumpctl info file which we already name as > > 'coredumpctl.txt' because of this. > > Just a nit that you should feel free to ignore, especially seeing how > you've already pushed this patch, but isn't what you've written above > an argument for either using .txt here or using .log for the > coredumpctl case too? I mean, okay, technically you're right, but can coredumpctl.txt really be considered anything even remotely connected to logging that would justify the extension? (since you decided to paint the shed...) Erik
