2022-08-18 11:10:14 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
ask_install() {
|
|
|
|
|
packages="$@"
|
|
|
|
|
read -p "Install $packages? [y/n] " -n 1 -r ; echo
|
|
|
|
|
[[ "$REPLY" = y ]] && pip3 install $packages
|
|
|
|
|
}
|
|
|
|
|
|
2022-09-30 19:04:37 +02:00
|
|
|
ask_install jedi-language-server
|
|
|
|
|
ask_install pycodestyle
|
|
|
|
|
ask_install pylint
|
|
|
|
|
ask_install mypy
|
