Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-09 01:58:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3
zeek/scripts/base/frameworks/config
History
Arne Welzel df581c59b4 scripts: Use tpe instead of type_, again 
The .rst generation doesn't escape the trailing `_` and the docs build
gets upset due to using `type` as a reference target then.

For the better or worse, revert to using tpe. Though I acknowledge this
means we need to be careful with trailing underscores because our docs
build is so fragile.

Partly reverts b9eabbabba.
2025-07-03 20:25:34 +02:00
..
__load__.zeek
input.zeek scripts: Use tpe instead of type_, again 2025-07-03 20:25:34 +02:00
main.zeek
README
weird.zeek

README 

The configuration framework provides a way to change the Zeek configuration
in "option" values at run-time.