[libvirt PATCH] ci: integration: Rename all Avocado standard stream log files to *.log

[Erik Skultety]

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