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 Normal View History

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