# Minimal prelude to bash script, based on 
# https://betterdev.blog/minimal-safe-bash-script-template/
# for explanation of set flags, see https://www.gnu.org/software/bash/manual/html_node/The-Set-Builtin.html

#!/usr/bin/env bash

set -Eeuo pipefail;
Add documentation for basic bash script
Add documentation for basic bash script
