#! /usr/bin/bash

set -euo pipefail
IFS=$'\n\t'

run0 cp "$(systemd-path user-configuration)"/setup/sources.list.d/debian.sources /etc/apt/sources.list.d/
run0 rm /etc/apt/sources.list

run0 apt update
run0 apt --yes full-upgrade