This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
инструмент_semgrep [2026/03/20 06:11] val |
инструмент_semgrep [2026/04/10 11:31] (current) val |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| * Dockerfile [[Технология Docker#Приложение python pywebd]] | * Dockerfile [[Технология Docker#Приложение python pywebd]] | ||
| + | * В случае недоступности semgrep.dev добавить: -e https_proxy=http://proxy.isp.un:3128/ | ||
| <code> | <code> | ||
| ~/pywebd# docker run --rm -v ${PWD}:/src 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 | ||