Skip to content

Instantly share code, notes, and snippets.

@faloi
Last active June 2, 2021 16:04
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save faloi/e0351ff5353c63a3818b6984c1c8ccc1 to your computer and use it in GitHub Desktop.
Save faloi/e0351ff5353c63a3818b6984c1c8ccc1 to your computer and use it in GitHub Desktop.
YELLOW='\033[0;33m'
NO_COLOR='\033[0m'
BOLD='\033[1;37m'
log () {
echo -e "🚀 ${YELLOW}$1${NO_COLOR}"
}
log "Agregando repositorio"
wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg \
| gpg --dearmor \
| sudo dd of=/usr/share/keyrings/vscodium-archive-keyring.gpg
echo 'deb [ signed-by=/usr/share/keyrings/vscodium-archive-keyring.gpg ] https://paulcarroty.gitlab.io/vscodium-deb-rpm-repo/debs vscodium main' \
| sudo tee /etc/apt/sources.list.d/vscodium.list
log "Actualizando repositorios, puede tardar un rato..."
sudo apt update
log "Instalando VScodium"
sudo apt install codium
log "Copiando configuraciones de VScode"
# Create the folder to host your extensions.
mkdir -p ~/.vscode-oss/
# Copy your extensions over from VSCode.
cp -R ~/.vscode/extensions ~/.vscode-oss/
# Create the folder to hold your settings.
mkdir -p $HOME/.config/VSCodium/
# Copy your settings over from VSCode.
cp -R $HOME/.config/Code/User $HOME/.config/VSCodium/User/
log "¡Listo! Podés iniciar VScodium desde el menú de aplicaciones o escribiendo ${BOLD}codium${YELLOW} en cualquier terminal."
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment