diff --git a/tech/2023-08-19_comment-cest-fait/index.gmi b/tech/2023-08-19_comment-cest-fait/index.gmi index 7fe177b..db19d7b 100644 --- a/tech/2023-08-19_comment-cest-fait/index.gmi +++ b/tech/2023-08-19_comment-cest-fait/index.gmi @@ -56,7 +56,7 @@ Il peut donc convertir automatiquement un log entier en quelques secondes, c'est Ensuite il suffit de dire à mon serveur Web (nginx) de servir les fichier générés lorsqu'on visite l'adresse Web de mon log, et voilà ! -Donc chaque jour vers 5 heures, ce script travaille après la récupération éventuelle des nouveaux textes, afin de tout convertir en Web, ainsi tout est facilement accessible pour tout le monde sans que j'ai à faire quoi que ce soit d'autre que d'écrire et de pousser mes modifications dans mon dépôt +Donc, à l'aide de cron, chaque jour vers 5 heures, ce script travaille après la récupération éventuelle des nouveaux textes, afin de tout convertir en Web, ainsi tout est facilement accessible pour tout le monde sans que j'ai à faire quoi que ce soit d'autre que d'écrire et de pousser mes modifications dans mon dépôt ## Pour terminer