#!/usr/bin/env bash enable_apt_cache() { local apt_caching_server="http://172.16.230.100:3142"; task_begin "Configuring ${apt_caching_server} as apt cache"; subtask_begin "Updating apt configuration"; echo "Acquire::http { Proxy \"${apt_caching_server}\"; }" >/etc/apt/apt.conf.d/proxy subtask_end "$?"; # From /etc/os-release - see run.sh if [[ "${ID}" == "raspbian" ]]; then subtask_begin "Patching for Raspbian [ 1 / 2 ]"; # HTTPS doesn't allow for our proxy to cache it if [[ -r "/etc/apt/sources.list.d/raspi.list" ]]; then sed -i 's/https:/http:/g' /etc/apt/sources.list.d/raspi.list fi subtask_end "$?"; subtask_begin "Patching for Raspbian [ 2 / 2 ]"; if [[ -e "/etc/apt/sources.list.d/raspi" ]]; then rm /etc/apt/sources.list.d/raspi; fi subtask_end "$?"; fi task_end "$?" "Failed to configure apt cache."; } enable_apt_cache;