2022-09-25 10:35:45 +00:00
|
|
|
- name: Install VS Code
|
|
|
|
win_chocolatey:
|
2022-09-26 12:33:52 +00:00
|
|
|
name: vscode
|
2022-09-25 10:35:45 +00:00
|
|
|
|
|
|
|
- name: Install VS Code extensions
|
2022-09-26 12:33:52 +00:00
|
|
|
win_shell: code --extensions-dir "C:\\Program Files\\Microsoft VS Code\\resources\\app\\extensions" --install-extension "{{ item }}"
|
|
|
|
args:
|
|
|
|
chdir: "%ProgramFiles%\\Microsoft VS Code\\bin"
|
|
|
|
loop:
|
|
|
|
- VisualStudioExptTeam.vscodeintellicode
|
|
|
|
- arthurwang.vsc-prolog
|
|
|
|
- dramforever.vscode-ghc-simple
|
|
|
|
- eamodio.gitlens
|
|
|
|
- justusadam.language-haskell
|
|
|
|
- ms-dotnettools.csharp
|
|
|
|
- ms-python.python
|
|
|
|
- ms-vscode.cpptools
|
|
|
|
- ocamllabs.ocaml-platform
|
|
|
|
- stonebuddha.vscode-better-sml
|
|
|
|
- vscode-icons-team.vscode-icons
|