#!/bin/bash # Elevate script if [ ! "$UID" -eq 0 ] then sudo bash "$BASH_SOURCE"; else wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg \ | gpg --dearmor \ | dd of=/usr/share/keyrings/vscodium-archive-keyring.gpg; echo 'deb [ signed-by=/usr/share/keyrings/vscodium-archive-keyring.gpg ] https://download.vscodium.com/debs vscodium main' \ | tee /etc/apt/sources.list.d/vscodium.list; apt update; apt install -y codium; fi