miria_error() { echo "error: $1" 1>&2 } miria_get_url() { if [ -e ~/.miria-url ]; then miria_url="$(cat ~/.miria-url)" else echo 'error: file ~/.miria-url not found' 1>&2 exit 1 fi }