## Add my key
#
#wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg \
#    | gpg --dearmor \
#    | sudo dd of=/etc/apt/trusted.gpg.d/vscodium-archive-keyring.gpg
#
#
## Add the repository
#
#echo 'deb [signed-by=/etc/apt/trusted.gpg.d/vscodium-archive-keyring.gpg] https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs/ vscodium main' \
#    | sudo tee /etc/apt/sources.list-available/vscodium.list
#
#ln -s /etc/apt/sources.list-available/vscodium.list /etc/apt/sources.list.d/vscodium.list

sudo apt-get install -y extrepo
sudo extrepo enable vscodium

# Update then install vscodium

sudo apt update
sudo apt install -y codium


# extensions are in  ~/.vscode-oss/extensions


# Platformio - them main reason I wan't to use codium
# https://marketplace.visualstudio.com/items?itemName=platformio.platformio-ide
#
# Requires:
# https://marketplace.visualstudio.com/items?itemName=ms-vscode.cpptools
#
# We want to use clangd or ccls LSP servers
#
# https://github.com/MaskRay/vscode-ccls