- name: Add VS repository
  block:
    - name: VS repo - apt key
      ansible.builtin.get_url:
        url: https://packages.microsoft.com/keys/microsoft.asc
        dest: /etc/apt/trusted.gpg.d/microsoft_key.asc
    - name: VS repo - url
      ansible.builtin.apt_repository:
        repo: "deb https://packages.microsoft.com/repos/vscode stable main"
        state: present

- name: Install VSCode
  ansible.builtin.apt:
    name: code
    state: latest

- name: Install VS Code extensions
  shell: code --no-sandbox --user-data-dir "/usr/share/code/resources/app" --extensions-dir "/usr/share/code/resources/app/extensions" --install-extension "{{ item }}"
  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