#!/usr/bin/bash set -x set -o pipefail # Find the URL given by the user. find_user_url() { local url=$1 if [ -z "$1" ]; then url=$(grep '\(agama\|inst\).auto='