diff --git a/playbooks/box.yml b/playbooks/box.yml index de02e35..86567b7 100644 --- a/playbooks/box.yml +++ b/playbooks/box.yml @@ -13,7 +13,7 @@ - cli vars_prompt: - name: tools_in - prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, ocanren, coq, txt, lang, truffle, gamedev, qt, clojure, arend)" + prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, ocanren, coq, txt, lang, truffle, gamedev, qt, clojure, python, arend)" private: false pre_tasks: - name: Get tools list diff --git a/playbooks/manual.yml b/playbooks/manual.yml index 59c55e6..e9719d1 100644 --- a/playbooks/manual.yml +++ b/playbooks/manual.yml @@ -9,7 +9,7 @@ prompt: "Specify comma separated list of required installation packages (ansible, cli, gui, host, proxy, wm, quickshell)" private: false - name: tools_in - prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, ocanren, coq, txt, lang, truffle, gamedev, qt, clojure, arend)" + prompt: "Specify comma separated list of required tool packages (cpp, js, haskell, ocaml, ocanren, coq, txt, lang, truffle, gamedev, qt, clojure, python, arend)" private: false pre_tasks: - name: Get configuration list diff --git a/roles/dev/tasks/cpp.yml b/roles/dev/tasks/cpp.yml index cbc7d1e..f834253 100644 --- a/roles/dev/tasks/cpp.yml +++ b/roles/dev/tasks/cpp.yml @@ -1,5 +1,5 @@ # is done at the main -# - name: Install build comon deps +# - name: Install build common deps # ansible.builtin.import_tasks: build.yml - name: Installing tools for cpp dev diff --git a/roles/dev/tasks/main.yml b/roles/dev/tasks/main.yml index b86188c..f77680b 100644 --- a/roles/dev/tasks/main.yml +++ b/roles/dev/tasks/main.yml @@ -53,6 +53,10 @@ ansible.builtin.import_tasks: clojure.yml when: "'clojure' in tools" +- name: Python development environment + ansible.builtin.import_tasks: python.yml + when: "'python' in tools" + # TODO - name: Arend proof assistant development environment ansible.builtin.import_tasks: arend.yml diff --git a/roles/dev/tasks/python.yml b/roles/dev/tasks/python.yml new file mode 100644 index 0000000..91bbb19 --- /dev/null +++ b/roles/dev/tasks/python.yml @@ -0,0 +1,21 @@ +- name: Installing tools for python dev + become: true + ansible.builtin.dnf5: + name: + - python + - pip + - pipx + + - uv + state: latest + +- name: Install ty typechecker + ansible.builtin.command: + cmd: "uv tool install ty@latest" + changed_when: false + +- name: Install ruff lineter + ansible.builtin.command: + cmd: "uv tool install ruff@latest" + changed_when: false +