diff options
| author | EuAndreh <eu@euandre.org> | 2022-05-15 18:47:00 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2022-05-15 18:47:00 -0300 |
| commit | 0c58f29df976ed79700edfa0774dad6c8e0a2b1e (patch) | |
| tree | d7bd49e53454096c823ff477d291099d8dd2f6e1 /etc/bash/check.sh | |
| parent | etc/bash/rc: Indent v() function body, remove commented code (diff) | |
| download | dotfiles-0c58f29df976ed79700edfa0774dad6c8e0a2b1e.tar.gz dotfiles-0c58f29df976ed79700edfa0774dad6c8e0a2b1e.tar.xz | |
etc/bash/check.sh: Assert clean tilde repositories
Diffstat (limited to 'etc/bash/check.sh')
| -rwxr-xr-x | etc/bash/check.sh | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/etc/bash/check.sh b/etc/bash/check.sh index 7b9b921..2b8971f 100755 --- a/etc/bash/check.sh +++ b/etc/bash/check.sh @@ -52,9 +52,21 @@ 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"/bash/privrc.sh \ + "$XDG_CONFIG_HOME"/notmuch/default/hooks/post-new if git grep FIXME; then printf 'Leftover FIXME markers\n' >&2 exit 1 fi + +if ! git diff --quiet || ! git diff --quiet --staged; then + printf 'Dirty tilde repository.\n' >&2 + exit 1 +fi + +PRIV="$XDG_CONFIG_HOME/../var/lib/private/tilde" +if ! git -C "$PRIV" diff --quiet || ! git -C "$PRIV" diff --quiet --staged; then + printf 'Dirty private tilde repository.\n' >&2 + exit 1 +fi |