From 8c021c1e15df98a86f09102daa00ae2d1550147b Mon Sep 17 00:00:00 2001 From: Adrien Abraham Date: Fri, 30 Sep 2022 19:04:37 +0200 Subject: [PATCH] update Python dev tools management --- install-pylsp.sh => setup-python-dev-tools.sh | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) rename install-pylsp.sh => setup-python-dev-tools.sh (57%) diff --git a/install-pylsp.sh b/setup-python-dev-tools.sh similarity index 57% rename from install-pylsp.sh rename to setup-python-dev-tools.sh index 543b0fa..8bd5d91 100755 --- a/install-pylsp.sh +++ b/setup-python-dev-tools.sh @@ -1,13 +1,12 @@ #!/bin/bash -pip3 install python-lsp-server - ask_install() { packages="$@" read -p "Install $packages? [y/n] " -n 1 -r ; echo [[ "$REPLY" = y ]] && pip3 install $packages } -ask_install pyflakes -ask_install black python-lsp-black -ask_install mypy pylsp-mypy +ask_install jedi-language-server +ask_install pycodestyle +ask_install pylint +ask_install mypy