Add IS_ETCGIT to check for /etc.git Git repository

This commit is contained in:
Jérémy Lecour 2019-03-22 23:52:06 +01:00
parent ae0b3ae2f1
commit 8254877240

View file

@ -69,6 +69,7 @@ IS_KERNELUPTODATE=1
IS_UPTIME=1 IS_UPTIME=1
IS_MUNINRUNNING=1 IS_MUNINRUNNING=1
IS_BACKUPUPTODATE=1 IS_BACKUPUPTODATE=1
IS_ETCGIT=1
IS_GITPERMS=1 IS_GITPERMS=1
IS_NOTUPGRADED=1 IS_NOTUPGRADED=1
IS_TUNE2FS_M5=1 IS_TUNE2FS_M5=1
@ -743,6 +744,10 @@ if is_debian; then
fi fi
fi fi
if [ "$IS_ETCGIT" = 1 ]; then
(cd /etc; git rev-parse --is-inside-work-tree > /dev/null 2>&1) || failed "IS_ETCGIT" "/etc is not a Git repository"
fi
# Check if /etc/.git/ has read/write permissions for root only. # Check if /etc/.git/ has read/write permissions for root only.
if [ "$IS_GITPERMS" = 1 ]; then if [ "$IS_GITPERMS" = 1 ]; then
if test -d /etc/.git; then if test -d /etc/.git; then