Tutti i gist corrispondenti all'argomento server

1	#!/usr/bin/env bash
2
3	if [[ -n "${DEBUG:-}" ]]; then
4	set -eux
5	else
6	set -euo pipefail
7	fi
8
9	SH_FILES_FOLDER="$HOME/shfiles"