Move Git repository into ~/.usr/.git/

1 files changed, 57 insertions, 0 deletions

diff --git a/etc/bash/check.sh b/etc/bash/check.sh
new file mode 100755
index 0000000..7c12dec
--- /dev/null
+++ b/etc/bash/check.sh
@@ -0,0 +1,57 @@
+#!/bin/sh
+set -eu
+
+usage() {
+	cat <<-'EOF'
+		Usage:
+		  check.sh
+		  check.sh -h
+	EOF
+}
+
+help() {
+	cat <<-'EOF'
+
+		Options:
+		  -h, --help    show this message
+	EOF
+}
+
+for flag in "$@"; do
+	case "$flag" in
+		--)
+			break
+			;;
+		--help)
+			usage
+			help
+			exit
+			;;
+		*)
+			;;
+	esac
+done
+
+while getopts 'h' flag; do
+	case "$flag" in
+		h)
+			usage
+			help
+			exit
+			;;
+		*)
+			usage >&2
+			exit 2
+			;;
+	esac
+done
+shift $((OPTIND - 1))
+
+
+shellcheck -xe 1090,1091 \
+	"$XDG_CONFIG_HOME"/bash/rc         \
+	"$XDG_CONFIG_HOME"/bash/vcs-ps1.sh \
+	"$XDG_CONFIG_HOME"/bash/check.sh   \
+	"$XDG_CONFIG_HOME"/bash/privrc.sh
+
+sh -eu ~/.profile