#!/bin/bash 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 echo 'deb [ signed-by=/etc/apt/trusted.gpg.d/vscodium-archive-keyring.gpg ] https://download.vscodium.com/debs vscodium main' \ | sudo tee /etc/apt/sources.list.d/vscodium.list sudo apt update sudo apt install codium mkdir -p ~/.config/VSCodium cat > ~/.config/VSCodium/product.json <