setup-python-dev-tools: remove script

2023-06-30 12:03:25 +02:00 · 2023-06-30 12:03:25 +02:00 · 2112e7c8b7
parent 366a14d2f6
commit 2112e7c8b7
1 changed files with 0 additions and 12 deletions
--- a/setup-python-dev-tools.sh
+++ b/setup-python-dev-tools.sh
@ -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