From 85ed9e8743f1c4462751a01b231ed9582031b9e5 Mon Sep 17 00:00:00 2001
From: Xavier Petit <32063953+xpetit@users.noreply.github.com>
Date: Thu, 28 Nov 2019 11:42:32 +0000
Subject: [PATCH] Remove vscodium dpkg repository which never works

---
 scripts/vscode.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/scripts/vscode.sh b/scripts/vscode.sh
index e67a042a1..7ed1f7c59 100755
--- a/scripts/vscode.sh
+++ b/scripts/vscode.sh
@@ -6,9 +6,8 @@ script_dir="$(cd -P "$(dirname "$BASH_SOURCE")" && pwd)"
 cd $script_dir
 . set.sh
 
-wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg | apt-key add -
-echo 'deb https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/repos/debs/ vscodium main' > /etc/apt/sources.list.d/vscodium.list
-apt-get update && apt-get -y install codium
+wget https://github.com/VSCodium/vscodium/releases/download/1.40.2/codium_1.40.2-1574798581_amd64.deb
+dpkg -i codium_1.40.2-1574798581_amd64.deb
 
 ln -s /usr/bin/codium /usr/local/bin/code