This repository has been archived on 2023-08-14. You can view files and clone it, but cannot push or open issues or pull requests.
dex/scripts/git-diff

8 lines
99 B
Plaintext
Raw Permalink Normal View History

2017-12-01 00:40:42 +00:00
#!/bin/bash -e
DIFF=$( git diff . )
if [ "$DIFF" != "" ]; then
echo "$DIFF" >&2
exit 1
fi