st/config
1
0
Fork 0
mirror of https://codeberg.org/ProgramSnail/config.git synced 2026-03-12 04:57:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

names fix, fish config copying, some fixes dn to tests

Browse source
This commit is contained in:
ProgramSnail 2025-08-17 10:54:07 +03:00
parent c2a86623a7
commit 9e97c4c76d
21 changed files with 92 additions and 108 deletions
Download patch file Download diff file Expand all files Collapse all files

4
roles/dev/tasks/coq.yml
View file

@ -1,7 +1,7 @@
- name: Install vscode (uncoded)
- name: Installing vscode (uncoded)
ansible.builtin.import_tasks: vscode.yml
- name: Install ocaml (required for lsp)
- name: Installing ocaml (required for lsp)
ansible.builtin.import_tasks: ocaml.yml
# TODO: add otion to choose ocaml switch