Re: gnulib-tool.py: Don't leave temporary directories on exit.

2024-05-02 Thread Bruno Haible
Hi Collin, > ... It seems like a pain to track > down every code path that can lead to 'sys.exit()' or 'exit()' with a > temporary directory still existing. > ... > Therefore, we can use tempfile.TemporaryDirectory as a context manager > and let Python cleanup for us [1]: > > def main_with_excep

gnulib-tool.py: Don't leave temporary directories on exit.

2024-05-02 Thread Collin Funk
- pygnulib/GLTestDir.py | 2 -- pygnulib/main.py | 9 + 5 files changed, 23 insertions(+), 10 deletions(-) diff --git a/ChangeLog b/ChangeLog index bd2c45d9af..2257857847 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,19 @@ +2024-05-02 Collin Funk