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

clojure, vscode version update, fixes

Browse source
This commit is contained in:
ProgramSnail 2025-10-14 16:32:01 +03:00
parent 2379badd14
commit 8621bb0a20
7 changed files with 118 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -22,11 +22,12 @@
- name: Downloading vscode coq lsp extension
ansible.builtin.get_url:
url: "https://open-vsx.org/api/maximedenes/vscoq/2.2.6/file/maximedenes.vscoq-2.2.6.vsix"
dest: "{{ ansible_env.HOME }}/.vscode_ext/vscoq.vsi"
dest: "{{ ansible_env.HOME }}/.vscode_ext/vscoq.vsix"
mode: a
force: false
- name: "Installing vscode coq lsp extension"
ansible.builtin.command:
cmd: "{{ ansible_env.HOME }}/.bin/code --install-extension {{ ansible_env.HOME }}/.vscode_ext/vscoq.vsi"
changed_when: false
# TODO: does not work
# - name: "Installing vscode coq lsp extension"
# ansible.builtin.command:
# cmd: "{{ ansible_env.HOME }}/.bin/code --install-extension {{ ansible_env.HOME }}/.vscode_ext/vscoq.vsix"
# changed_when: false