From fdda156c25ffac4fa5690c8abd8ddc693be52e85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gardais=20J=C3=A9r=C3=A9my?=
 <jeremy.gardais@univ-rennes1.fr>
Date: Fri, 30 Apr 2021 15:19:30 +0200
Subject: [PATCH] Remove useless grav_cron file

---
 grav_cron | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100755 grav_cron

diff --git a/grav_cron b/grav_cron
deleted file mode 100755
index 33c7343..0000000
--- a/grav_cron
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-GRAV_ROOT="/var/www/grav"
-GRAV_UPDATE_LOG="${GRAV_ROOT}/logs/update"
-
-# Need to work in the Grav root directory
-cd "${GRAV_ROOT}" || exit 1
-
-# Display the Grav's version and check if an update is available
-GRAV_UPDATE=$("${GRAV_ROOT}"/bin/gpm version|grep upgradable)
-
-# Verify if the variable contains something
-if [ -z "${GRAV_UPDATE}" ]; then
-  rm -f "${GRAV_UPDATE_LOG}"
-else
-  touch "${GRAV_UPDATE_LOG}"
-fi
-
-exit 0