Bon en vrai, la branch master de ce dépôt git n'a pas bougé depuis 2017, c'est peut être pas le bon endroit.
Je confirme, ça fait quelques temps que Benoît a mis en place un autre dépôt git, avec du ansible. L'objectif est de rendre ce nouveau dépôt git public un jour, mais il faudrait d'abord bien vérifier qu'il n'y a rien de sensible dedans. Et comme il y a plein d'autres choses à faire, ça n'a pas été la priorité jusque là.
Pour ce qui est du cache sur les polices, j'ai ajouté ça dans le dépôt git, mais je n'ai pas réussi à lancer ansible pour le déployer sur les serveurs. Du coup, j'ai fait la modif à la main directement sur les serveurs. J'espère juste n'avoir rien cassé au passage.
[^] # Re: Configurer Nginx ?
Posté par Bruno Michel (site web personnel) . En réponse à l’entrée du suivi Ajouter un réglage de cache aux nouvelles polices. Évalué à 4 (+0/-0).
Je confirme, ça fait quelques temps que Benoît a mis en place un autre dépôt git, avec du ansible. L'objectif est de rendre ce nouveau dépôt git public un jour, mais il faudrait d'abord bien vérifier qu'il n'y a rien de sensible dedans. Et comme il y a plein d'autres choses à faire, ça n'a pas été la priorité jusque là.
Pour ce qui est du cache sur les polices, j'ai ajouté ça dans le dépôt git, mais je n'ai pas réussi à lancer ansible pour le déployer sur les serveurs. Du coup, j'ai fait la modif à la main directement sur les serveurs. J'espère juste n'avoir rien cassé au passage.