Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Logging option to omit timings #2727

Closed
mgsloan opened this issue Oct 22, 2016 · 1 comment
Closed

Logging option to omit timings #2727

mgsloan opened this issue Oct 22, 2016 · 1 comment
Labels
component: output (UI/UX)
Milestone
P3: Optional

Comments

@mgsloan
Copy link
Contributor

mgsloan commented Oct 22, 2016

In order to debug #2724, I found myself wanting to diff some verbose logs. To support this purpose, I propose a --no-time-log flag, hidden from the CLI docs
@mgsloan mgsloan added this to the P3: Optional milestone Oct 22, 2016
mgsloan added a commit that referenced this issue Oct 24, 2016
@mgsloan
Refactoring of logging code + #2727
c8ac956
@mgsloan
Copy link
Contributor Author

mgsloan commented Oct 24, 2016

Implemented as a --no-time-in-log option.

@mgsloan mgsloan closed this as completed Oct 24, 2016
mgsloan added a commit that referenced this issue Oct 24, 2016
@mgsloan
ChangeLog entry for #2727
a71f383
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: output (UI/UX)
Projects
None yet
Milestone
P3: Optional
Development

No branches or pull requests
1 participant
@mgsloan