python, fixes

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

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

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

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

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
+