Protection against loss of uncommitted stuff

2017-09-15 17:10:56 +02:00 · 2017-09-15 17:10:56 +02:00 · 7fb5d8dc05
parent f7bdc97380
commit 7fb5d8dc05
1 changed files with 5 additions and 0 deletions
--- a/Scripts/developer_scripts/git-show-content
+++ b/Scripts/developer_scripts/git-show-content
@ -3,6 +3,11 @@
 zmodload zsh/stat
 set -e

+if ! ${git} diff --exit-code > /dev/null || ! ${git} diff --staged --exit-code  > /dev/null ; then
+    echo 'Your working directory contains local modifications!' >&2
+    exit 1
+fi
+
 base=${1:-HEAD}
 save=$(git rev-parse HEAD)