Gnous/main_website
2
0
Fork 0
Code Issues Pull Requests 1 Projects Releases Activity

Use last commit date instead of unix mtime #6

Merged
thopic merged 2 commits from git-commit-date into master 2023-07-12 16:55:01 +02:00
Conversation 1 Commits 2 Files Changed 2 +21 -8
2 changed files with 21 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit 95a18a949a - Show all commits

12
html/includes/mtime.php
View File

@ -1,5 +1,13 @@
<?php <?php
$last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file); $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file);
$mtime = exec('LANG="fr_FR.UTF-8" git log -1 --pretty="format:%cr" '.$this_file); $mtime = exec('LANG="fr_FR.UTF-8" git log -1 --pretty="format:%ct" '.$this_file);
$fmt = datefmt_create(
'fr-FR',
IntlDateFormatter::FULL,
IntlDateFormatter::FULL,
'Europe/Paris',
IntlDateFormatter::GREGORIAN,
'd MMMM Y à HH:mm:ss O'
);
?> ?>
<p style="text-align:right;">Dernière mise à jour <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo $mtime; ?></a></p> <p style="text-align:right;">Mis à jour le <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo datefmt_format($fmt, $mtime); ?></a></p>

17
html/index.php
View File

@ -1,13 +1,10 @@
<?php <?php
$this_file = basename($_SERVER["SCRIPT_FILENAME"]); //contient le nom de ce fichier (lui-même) $this_file = basename($_SERVER["SCRIPT_FILENAME"]); //contient le nom de ce fichier (lui-même)
setlocale (LC_TIME, 'fr_FR.utf8','fra');
/* /*
Petit script pour afficher la dernière date de modification (toute page confondue) sur la page d'accueil (index.php) Petit script pour afficher la dernière date de modification (toute page confondue) sur la page d'accueil (index.php)
*/ */
date_default_timezone_set('Europe/Paris'); $mtime_max = exec('git log -1 --pretty="format:%ct" '.$this_file); //récupération de la date de modification de ce fichier et institution comme maximum
$mtime_this_file = exec('git log -1 --pretty="format:%ct" '.$this_file); //récupération de la date de modification de ce fichier
$mtime_max = $mtime_this_file; //elle est instituée comme un maximum
$last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file); //récupération du hash du commit associé $last_rev = exec('git log -1 --pretty=format:"%H" '.$this_file); //récupération du hash du commit associé
foreach (glob("*.php") as $filename) { //récupération de la liste de tous les fichiers .php du répertoire courant (les pages en somme) foreach (glob("*.php") as $filename) { //récupération de la liste de tous les fichiers .php du répertoire courant (les pages en somme)
@ -17,7 +14,15 @@
$last_rev = exec('git log -1 --pretty=format:"%H" '.$filename); //récupération du hash du commit associé $last_rev = exec('git log -1 --pretty=format:"%H" '.$filename); //récupération du hash du commit associé
} }
} }
$mtime_max = date("d M Y H:i:s", $mtime_max); //formatage de la date retenue $fmt = datefmt_create(
'fr-FR',
IntlDateFormatter::FULL,
IntlDateFormatter::FULL,
'Europe/Paris',
IntlDateFormatter::GREGORIAN,
'd MMMM Y à HH:mm:ss O'
);
?> ?>
<!DOCTYPE HTML> <!DOCTYPE HTML>
@ -31,7 +36,7 @@
<?php include 'includes/titre.php'; ?> <?php include 'includes/titre.php'; ?>
<br> <br>
<?php include 'includes/menu.php'; ?> <?php include 'includes/menu.php'; ?>
<p style="text-align:right;">Dernière mise à jour du site le <?php echo strftime("%d %B %Y à %H:%M:%S UTC%z", strtotime($mtime_max)); ?><br>git revision: <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo substr($last_rev, 0, 7);?></a></p> <p style="text-align:right;">Dernière mise à jour du site le <?php echo datefmt_format($fmt, $mtime_max); ?><br>git revision: <a href="https://git.gnous.fr/gnous/main_website/commit/<?php echo $last_rev;?>" target="_blank"><?php echo substr($last_rev, 0, 7);?></a></p>
<div style="width:40%;"> <div style="width:40%;">
<p style="text-align: right;"> <p style="text-align: right;">