Pour faire la mise à jour mineure de l'application GRR il faut aller chercher le .tar.gz de la version voulue sur https://github.com/JeromeDevome/GRR/releases

Copier le fichier sur le serveur appli-php74.dmz-local.enit.fr

Faire ceci pour les trois répertoires suivants ( reservation-box, reservation-dai et reservation-enit) dans le répertoire srv/appli

1 - Extraire le fichier de la version dans appli ( ex: /srv/appli/GRR-3.5.2) 2 - Copier les fichiers config.inc.php et connect.inc.php (ex: de /srv/appli/reservation-dai/include vers /srv/appli/GRR-3.5.2) 3 - Renommer le fichier de l'acienne version en .old (ex: /srv/appli/reservation-dai.old ) 4 - Renommer le fichier nouvelle version (ex: /srv/appli/GRR-3.5.2 en /srv/appli/reservation-dai) 5 - Redémarrer Apache 6 - Se connecter sur l'interface web en tant qu'administrateur et faire la mise à jour de la base en suivant les instructions.