From 928e7742cbb191a93f3287a965500f17c930c157 Mon Sep 17 00:00:00 2001 From: ViViDboarder Date: Tue, 17 Sep 2024 12:35:29 -0700 Subject: [PATCH] Add flag to ignore debuggers --- install-helpers.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/install-helpers.py b/install-helpers.py index e90ef1b..ad6eefd 100755 --- a/install-helpers.py +++ b/install-helpers.py @@ -201,6 +201,7 @@ def main(): parser = argparse.ArgumentParser() parser.add_argument("--ignore-missing", action="store_true") parser.add_argument("langs", nargs="*", type=Language) + parser.add_argument("--no-debuggers", action="store_true") args = parser.parse_args() maybe_pip_install("release-gitter") @@ -226,7 +227,9 @@ def main(): install_language_servers(langs) install_linters(langs) install_fixers(langs) - install_debuggers(langs) + + if not args.no_debuggers: + install_debuggers(langs) print("DONE")