]> Savannah Git Hosting - gnulib.git/commit
gnulib-tool.py: Don't print tracebacks when Ctrl-C is pressed.
authorCollin Funk <collin.funk1@gmail.com>
Thu, 16 May 2024 03:25:38 +0000 (20:25 -0700)
committerCollin Funk <collin.funk1@gmail.com>
Thu, 16 May 2024 03:25:38 +0000 (20:25 -0700)
commit43ca9607f03b697df0dfc356ef1a3029551c9897
tree1bc97ec38e21a31d31f0f19e17c2597e2e40af36
parent1a016b72a9ea5d48c6eab35494282ec657db6e18
gnulib-tool.py: Don't print tracebacks when Ctrl-C is pressed.

Suggested by Pádraig Brady in
<https://lists.gnu.org/archive/html/bug-gnulib/2024-05/msg00200.html>.

* pygnulib/main.py (cli_exception): New function.
(main_with_exception_handling): Use it.
ChangeLog
pygnulib/main.py