From 9dab7232f3885ce801fb59c4c7ddeb4afb4b1a45 Mon Sep 17 00:00:00 2001 From: Dennis Eichhorn Date: Tue, 17 Jul 2018 22:31:21 +0200 Subject: [PATCH] Ignore deleted files --- Hooks/delegator.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/Hooks/delegator.sh b/Hooks/delegator.sh index 2a7b804..ef15558 100644 --- a/Hooks/delegator.sh +++ b/Hooks/delegator.sh @@ -1,5 +1,11 @@ #!/bin/bash +git diff --cached --name-only | while read FILE; do +if [[ ! -f "$FILE" ]]; then + exit 0 +fi +done + . ${rootpath}/Build/Hooks/logging.sh . ${rootpath}/Build/Hooks/syntax.sh . ${rootpath}/Build/Hooks/filename.sh