From e4658bf44ea5da5a2b8934a336c396d6815a4586 Mon Sep 17 00:00:00 2001 From: "Miss Islington (bot)" <31488909+miss-islington@users.noreply.github.com> Date: Sun, 16 Jul 2023 00:32:26 -0700 Subject: [PATCH] Doc: devmode: add -Xdev option to example (GH-106253) Doc: devmode: add -Xdev option to example (GH-106253) (cherry picked from commit 83bd568d2b57337a91ef046c1f52f9ebb03a7803) Co-authored-by: Simone Rubino --- 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 977735990ffe92..b2bad48a07e27e 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()