#!/bin/bash
-# This follows the GNU license recommendations at
+# We follow the GNU license recommendations at
# https://www.gnu.org/licenses/license-recommendations.en.html. They
# recommend that small programs, < 300 lines, be licensed under the
# Apache License 2.0. This file contains or is part of one or more small
-# programs. If a small program grows beyond 300 lines, I plan to switch
-# its license to GPL.
+# programs. You should expect the license to be switched to GPL if it
+# grows large enough.
# Copyright 2024 Free Software Foundation
## Managed by Ansible, changes will be overwritten ##
+
+
+
+
set -eE -o pipefail
trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR