#!/bin/bash
# Do an apt-get update, so that packages can be installed.
if [ ${DIB_DEBUG_TRACE:-0} -gt 0 ]; then
set -x
fi
set -eu
set -o pipefail
apt-get -y update