Install required VS Code extensions

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