8000 Write certain errors to stderr · Issue #1202 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Write certain errors to stderr #1202

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
Closed
gvanrossum opened this issue Feb 2, 2016 · 1 comment
Closed

Write certain errors to stderr #1202

gvanrossum opened this issue Feb 2, 2016 · 1 comment
Labels
feature

Comments

@gvanrossum
Copy link
Member

Errors about command line syntax and files not found should go to stderr.
mrshu added a commit to mrshu/mypy that referenced this issue Feb 28, 2016
@mrshu
update: Write certain errors to stderr
c12d70c 
* As described and requested in python#1202, this commit makes errors on
  command line syntax and files not found to go to stderr rather than
  stdout.

Signed-off-by: mr.Shu <mr@shu.io>
@mrshu mrshu mentioned this issue Feb 28, 2016
Merged
@ddfisher ddfisher added this to the 0.3.2 milestone Mar 1, 2016
mrshu added a commit to mrshu/mypy that referenced this issue Mar 3, 2016
@mrshu
update: Write certain errors to stderr
b06d6b2 
* As described and requested in python#1202, this commit makes errors on
  command line syntax and files not found to go to stderr rather than
  stdout.

Signed-off-by: mr.Shu <mr@shu.io>
mrshu added a commit to mrshu/mypy that referenced this issue Mar 3, 2016
@mrshu
update: Write certain errors to stderr
a978ec0 
* As described and requested in python#1202, this commit makes errors on
  command line syntax and files not found to go to stderr rather than
  stdout.

Signed-off-by: mr.Shu <mr@shu.io>
@ddfisher
Copy link
Collaborator
ddfisher commented Mar 3, 2016

Fixed by #1251.

@ddfisher ddfisher closed this as completed Mar 3, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@ddfisher @JukkaL @gvanrossum
0