Skip to content

Properly have .log file extension for temp log files#315

Merged
mrnugget merged 1 commit into
mainfrom
es/logfile-extension
Sep 14, 2020
Merged

Properly have .log file extension for temp log files#315
mrnugget merged 1 commit into
mainfrom
es/logfile-extension

Conversation

@eseliger

Copy link
Copy Markdown
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

@chrispine chrispine left a comment

Copy link
Copy Markdown

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

3 participants