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) |
