#!/bin/bash

# Run this script with "(sudo) bash <filename> <args>".

# Exit on error.
set -e