From a6aae979ec91d3e24063650f405891fd0b933700 Mon Sep 17 00:00:00 2001
From: ViViDboarder <ViViDboarder@gmail.com>
Date: Fri, 1 Nov 2024 17:03:21 -0700
Subject: [PATCH] Allow skipping language servers

---
 install-helpers.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/install-helpers.py b/install-helpers.py
index 6657229..15aff1b 100755
--- a/install-helpers.py
+++ b/install-helpers.py
@@ -262,9 +262,11 @@ def main():
     parser = argparse.ArgumentParser()
     parser.add_argument("--ignore-missing", action="store_true")
     parser.add_argument("langs", nargs="*", type=Language)
+    parser.add_argument("--no-language-servers", action="store_true")
     parser.add_argument("--no-debuggers", action="store_true")
     args = parser.parse_args()
 
+    # Release gitter is required for some tools
     maybe_pip_install("release-gitter")
 
     os.environ["PYTHONPATH"] = ""
@@ -281,8 +283,9 @@ def main():
         if lang in langs:
             langs.update(aliases)
 
+    if not args.no_language_servers:
+        install_language_servers(langs)
 
-    install_language_servers(langs)
     install_linters(langs)
     install_fixers(langs)