diff options
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/sh/check.sh (renamed from etc/bash/check.sh) | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/etc/bash/check.sh b/etc/sh/check.sh index 5c410c8..102fcd0 100755 --- a/etc/bash/check.sh +++ b/etc/sh/check.sh @@ -51,10 +51,10 @@ cd -- "$(dirname -- "$0")" cd -- "$(git rev-parse --show-toplevel)" 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 \ + "$XDG_CONFIG_HOME"/sh/rc \ + "$XDG_CONFIG_HOME"/sh/vcs-ps1.sh \ + "$XDG_CONFIG_HOME"/sh/check.sh \ + "$XDG_CONFIG_HOME"/sh/privrc.sh \ "$XDG_CONFIG_HOME"/notmuch/default/hooks/post-new if git grep FIXME -- ":(exclude)$XDG_CONFIG_HOME/bash/check.sh"; then @@ -72,3 +72,6 @@ if ! git -C "$PRIV" diff --quiet || ! git -C "$PRIV" diff --quiet --staged; then printf 'Dirty private tilde repository.\n' >&2 exit 1 fi + +# FIXME: +# verify that the expiry date on the GPG key is greater than 1 year |