Skip to content

Conversation

@eseliger
Copy link
Member

Closes #308

before, the file ending wouldn't be .log, causing some terminals to not know how to open that file when clicking on it (hence, always have to select my fav editor, because the ending will always be different and cannot be remembered.)

Before and after:

image

Copy link

@chrispine chrispine left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mrnugget mrnugget merged commit 1a08309 into main Sep 14, 2020
@mrnugget mrnugget deleted the es/logfile-extension branch September 14, 2020 06:47
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.

Add .log suffix to logfiles

4 participants