Support for linting tools in docker #444
Zhu-Zixuan
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi, it would be great if this extension can call linting tools in docker, such as verilator in docker.
Alias and scripts for
verilator
command do not work with this extension, even though they work well in shell.Beta Was this translation helpful? Give feedback.
All reactions