You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Looks like this output is part of the godelw script itself. I think that having this output go to stderr rather than stdout is reasonable -- the output is purely informational so don't think it's important for it to go to stdout necessarily.
I came here to report a similar issue. Just wanted to point out that in addition to the line that's being written from the godelw script, godel itself pollutes stdout some more when it's downloading plugins. The two calls to godelgetter.Download* could be updated to pass in stderr as the writer instead of stdout.
I rely on tricks this like:
This isn't reliable anymore because godel/plugin download information is sent to stdout:
Some ideas:
-q/--quiet
flagThe text was updated successfully, but these errors were encountered: