diff options
Diffstat (limited to 'etc/bash/check.sh')
-rwxr-xr-x | etc/bash/check.sh | 57 |
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 |