This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
инструмент_semgrep [2026/03/18 11:55] val |
инструмент_semgrep [2026/03/18 11:56] (current) val |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| <code> | <code> | ||
| - | ~/pywebd# docker run --rm -v "${PWD}:/src" -e https_proxy=http://val2.bmstu.ru:3128/ semgrep/semgrep semgrep --config=auto --error . && echo OK || echo Problems | + | ~/pywebd# docker run --rm -v "${PWD}:/src" semgrep/semgrep semgrep --config=auto --error . && echo OK || echo Problems |
| </code> | </code> | ||