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

8 lines
99 B
Text
Raw Permalink Normal View History

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