From a3823939725b531526f8c135a8b98e1eb4572dd0 Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Mon, 26 Sep 2022 12:33:52 +0000
Subject: [PATCH] Install required VS Code extensions

---
 roles/winroom/tasks/vscode.yml | 21 ++++++++++++++++-----
 1 file changed, 16 insertions(+), 5 deletions(-)

diff --git a/roles/winroom/tasks/vscode.yml b/roles/winroom/tasks/vscode.yml
index 675099a..899a667 100644
--- a/roles/winroom/tasks/vscode.yml
+++ b/roles/winroom/tasks/vscode.yml
@@ -1,9 +1,20 @@
-# TODO set location for .vscode to H:
 - name: Install VS Code
   win_chocolatey:
-    name: vscode.install
+    name: vscode
 
-# TODO I don’t think this works.
 - name: Install VS Code extensions
-  win_chocolatey:
-    name: vscode-python
+  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