Skip to content

Conversation

@anayrat
Copy link
Collaborator

@anayrat anayrat commented Nov 4, 2025

Add also a trick in order to prefix every line with log filename

Add also a trick in order to prefix every line with log filename
@gleu
Copy link
Collaborator

gleu commented Nov 14, 2025

Sounds good. Merging it.

@gleu
Copy link
Collaborator

gleu commented Nov 14, 2025

Not sure why github doesn't think it's merged, because it definitely is. Anyway, closing the PR as it's been merged.

@gleu gleu closed this Nov 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants