debian update repository to point towards production

Author: alessio-perugini

debian/scripts/install-arduino-stuff.sh

@@ -2,8 +2,12 @@
 
 set -xe
 
+wget -N http://downloads.arduino.cc/keys/arduino.asc
+
+adb push ./arduino.asc /etc/apt/keyrings/
+adb shell chmod 644 /etc/apt/keyrings/arduino.asc
 adb shell sh -c 'cat > /etc/apt/sources.list.d/arduino.list' <<EOF
-deb [trusted=yes] https://apt-repo.arduino.cc stable main
+deb [signed-by=/etc/apt/keyrings/arduino.asc] https://apt-repo.arduino.cc stable main
 EOF
 
 adb shell sh -c 'cat > /etc/apt/auth.conf.d/arduino.conf' <<EOF