diff options
| author | EuAndreh <eu@euandre.org> | 2022-08-12 19:06:50 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-08-12 19:06:50 -0300 |
| commit | a30883a7b8227c0687bae6de3626c2b220e746c5 (patch) | |
| tree | a4f0dedf53b507b0a6f00761d006333c1c72081c /etc | |
| parent | mv etc/bash/privrc.sh etc/sh/privrc.sh (diff) | |
| download | dotfiles-a30883a7b8227c0687bae6de3626c2b220e746c5.tar.gz dotfiles-a30883a7b8227c0687bae6de3626c2b220e746c5.tar.xz | |
mv etc/bash/check.sh etc/sh/check.sh
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 |