diff --git a/documentation/ref-manual/variables.rst b/documentation/ref-manual/variables.rst index 1d4ec413ca..591c03028c 100644 --- a/documentation/ref-manual/variables.rst +++ b/documentation/ref-manual/variables.rst @@ -7567,7 +7567,9 @@ system and gives an overview of their function and contents. by pseudo when monitoring and recording file operations, in order to avoid problems with files being written to outside of the pseudo context and reduce pseudo's overhead. A path is ignored if it matches any prefix in the list - and can include partial directory (or file) names. + and can include partial directory (or file) names. In case a path prefix is + present in both :term:`PSEUDO_IGNORE_PATHS` and in :term:`PSEUDO_INCLUDE_PATHS`, + :term:`PSEUDO_INCLUDE_PATHS` takes precedence. :term:`PSEUDO_INCLUDE_PATHS` A comma-separated (without spaces) list of path prefixes that should be included @@ -7575,7 +7577,10 @@ system and gives an overview of their function and contents. problems with files being written to outside of the pseudo context and reduce :ref:`pseudo `'s overhead. A path is included if it matches any prefix in the list and can include - partial directory (or file) names. + partial directory (or file) names. In case a path prefix is present in both + :term:`PSEUDO_IGNORE_PATHS` and in :term:`PSEUDO_INCLUDE_PATHS`, + :term:`PSEUDO_INCLUDE_PATHS` takes precedence. + :term:`PTEST_ENABLED` Specifies whether or not :ref:`Package