diff options
-rw-r--r-- | documentation/ref-manual/ref-variables.rst | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/documentation/ref-manual/ref-variables.rst b/documentation/ref-manual/ref-variables.rst index a7315cf6f7..1ab3146cf9 100644 --- a/documentation/ref-manual/ref-variables.rst +++ b/documentation/ref-manual/ref-variables.rst | |||
@@ -5932,6 +5932,15 @@ system and gives an overview of their function and contents. | |||
5932 | service <dev-manual/dev-manual-common-tasks:working with a pr service>`. You can | 5932 | service <dev-manual/dev-manual-common-tasks:working with a pr service>`. You can |
5933 | set ``PRSERV_HOST`` to other values to use a remote PR service. | 5933 | set ``PRSERV_HOST`` to other values to use a remote PR service. |
5934 | 5934 | ||
5935 | |||
5936 | :term:`PSEUDO_IGNORE_PATHS` | ||
5937 | A comma-separated (without spaces) list of path prefixes that should be ignored | ||
5938 | by pseudo when monitoring and recording file operations, in order to avoid | ||
5939 | problems with files being written to outside of the pseudo context and | ||
5940 | reduce pseudo's overhead. A path is ignored if it matches any prefix in the list | ||
5941 | and can include partial directory (or file) names. | ||
5942 | |||
5943 | |||
5935 | :term:`PTEST_ENABLED` | 5944 | :term:`PTEST_ENABLED` |
5936 | Specifies whether or not :ref:`Package | 5945 | Specifies whether or not :ref:`Package |
5937 | Test <dev-manual/dev-manual-common-tasks:testing packages with ptest>` (ptest) | 5946 | Test <dev-manual/dev-manual-common-tasks:testing packages with ptest>` (ptest) |