diff --git a/setup-python-dev-tools.sh b/setup-python-dev-tools.sh deleted file mode 100755 index 8bd5d91..0000000 --- a/setup-python-dev-tools.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -ask_install() { - packages="$@" - read -p "Install $packages? [y/n] " -n 1 -r ; echo - [[ "$REPLY" = y ]] && pip3 install $packages -} - -ask_install jedi-language-server -ask_install pycodestyle -ask_install pylint -ask_install mypy