diff options
Diffstat (limited to 'doc/config.rst')
-rw-r--r-- | doc/config.rst | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/config.rst b/doc/config.rst index d9237bed..46b5b092 100644 --- a/doc/config.rst +++ b/doc/config.rst @@ -55,3 +55,10 @@ Use the JSON reporter by default for scanning output and disable all cache usage [DEFAULT] reporter = JsonReporter cache = no + +Example 6 +--------- +Set the default repo to target when scanning:: + + [DEFAULT] + repo = my_overlay |