From 66c23ccc9bc172d72e2694c1c7eef7f7a3453634 Mon Sep 17 00:00:00 2001
From: Andrew Scheller <andrew.scheller@raspberrypi.com>
Date: Tue, 10 Nov 2020 18:30:01 +0000
Subject: [PATCH] Use dpkg instead of apt for install local packages

---
 pico_setup.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pico_setup.sh b/pico_setup.sh
index bd9c54d..bf52b9b 100755
--- a/pico_setup.sh
+++ b/pico_setup.sh
@@ -138,7 +138,7 @@ else
         fi
 
         wget -O vscode.deb $VSCODE_DEB
-        sudo apt install -y ./vscode.deb
+        sudo dpkg -i ./vscode.deb
         sudo apt install -y $EXTRA_VSCODE_DEPS
 
         # Get extensions