From 83bd568d2b57337a91ef046c1f52f9ebb03a7803 Mon Sep 17 00:00:00 2001 From: Simone Rubino Date: Sun, 16 Jul 2023 09:29:58 +0200 Subject: Doc: devmode: add -Xdev option to example (#106253) --- Doc/library/devmode.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/library/devmode.rst b/Doc/library/devmode.rst index 9777359..b2bad48 100644 --- a/Doc/library/devmode.rst +++ b/Doc/library/devmode.rst @@ -198,7 +198,7 @@ descriptor" error when finalizing the file object: .. code-block:: shell-session - $ python script.py + $ python -X dev script.py import os script.py:10: ResourceWarning: unclosed file <_io.TextIOWrapper name='script.py' mode='r' encoding='UTF-8'> main() -- cgit v0.12