mirror of
https://github.com/ViViDboarder/vim-settings.git
synced 2024-11-18 00:36:27 +00:00
Allow skipping language servers
This commit is contained in:
parent
e22abbd320
commit
a6aae979ec
@ -262,9 +262,11 @@ def main():
|
|||||||
parser = argparse.ArgumentParser()
|
parser = argparse.ArgumentParser()
|
||||||
parser.add_argument("--ignore-missing", action="store_true")
|
parser.add_argument("--ignore-missing", action="store_true")
|
||||||
parser.add_argument("langs", nargs="*", type=Language)
|
parser.add_argument("langs", nargs="*", type=Language)
|
||||||
|
parser.add_argument("--no-language-servers", action="store_true")
|
||||||
parser.add_argument("--no-debuggers", action="store_true")
|
parser.add_argument("--no-debuggers", action="store_true")
|
||||||
args = parser.parse_args()
|
args = parser.parse_args()
|
||||||
|
|
||||||
|
# Release gitter is required for some tools
|
||||||
maybe_pip_install("release-gitter")
|
maybe_pip_install("release-gitter")
|
||||||
|
|
||||||
os.environ["PYTHONPATH"] = ""
|
os.environ["PYTHONPATH"] = ""
|
||||||
@ -281,8 +283,9 @@ def main():
|
|||||||
if lang in langs:
|
if lang in langs:
|
||||||
langs.update(aliases)
|
langs.update(aliases)
|
||||||
|
|
||||||
|
if not args.no_language_servers:
|
||||||
install_language_servers(langs)
|
install_language_servers(langs)
|
||||||
|
|
||||||
install_linters(langs)
|
install_linters(langs)
|
||||||
install_fixers(langs)
|
install_fixers(langs)
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user