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.

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

Hide warnings #16

Closed
binarious opened this issue Jul 22, 2020 · 2 comments · Fixed by #46
Closed

Hide warnings #16

binarious opened this issue Jul 22, 2020 · 2 comments · Fixed by #46
Assignees
Labels
question Further information is requested
Milestone

Comments

@binarious
Copy link

I'm using psalm with errorLevel 2. This results in errors from level 1 to be shown with yellow warnings. Is there a way to hide these?

@tm1000
Copy link
Collaborator

tm1000 commented Jun 28, 2021

@binarious So to do this it has to be initiated on the server, we could do this a few different ways

  1. Add a flag to the server --disable-info, allowing one to turn it off in VSCode settings
  2. Add config option to Psalm.xml (probably not a good idea)
  3. Utilize a psalm.rc file (this would probably be confusing)

Will probably need to go with option 1

@tm1000 tm1000 self-assigned this Jun 28, 2021
@tm1000 tm1000 added the question Further information is requested label Jun 28, 2021
@tm1000 tm1000 added this to the 2.0 milestone Jun 28, 2021
tm1000 added a commit that referenced this issue Jun 29, 2021
- Fixes #16
- Fixes #17
- Adds restart workaround for server crashing on shutdown
- Fixes STDOUT logging by modifing StreamWriter directly
- Removes archived MZ in favor of system spawn and promisify-child-process instead
This was referenced Jun 29, 2021
@tm1000 tm1000 closed this as completed in #46 Aug 2, 2021
@tm1000 tm1000 reopened this Aug 2, 2021
@tm1000 tm1000 mentioned this issue Aug 14, 2021
1 task
@tm1000 tm1000 modified the milestones: 2.0, 2.5 Aug 14, 2021
@tm1000 tm1000 mentioned this issue Aug 4, 2022
5 tasks
@tm1000
Copy link
Collaborator

tm1000 commented Aug 4, 2022

@tm1000 tm1000 closed this as completed Aug 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
question Further information is requested
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants