## 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 extrepo
sudo extrepo enable vscodium

# Update then install vscodium

sudo apt update
sudo apt install codium