#!/usr/bin/env bash RUN "echo 'Acquire::http { Proxy \"http://172.16.230.100:3142\"; }' | sudo tee /etc/apt/apt.conf.d/proxy" # Use http instead of https to allow caching RUN "echo 'deb http://archive.raspberrypi.org/debian/ buster main ui' | sudo tee /etc/apt/sources.list.d/raspi.list"; RUN_ONCE "sudo rm /etc/apt/sources.list.d/raspi";