hgouraud

`make clean` is ok, but `make ci` still has a problem! ``` File "test/gwdb_driver.ml", line 1: Error: The implementation test/gwdb_driver.ml does not match the interface test/.dummy_gwdb.objs/byte/gwdb_driver.cmi: The value `eq_iper' is...

Je crois que j'ai fait ce qu'il faut, mais peut être pas de la meilleure manière. Une petite revue de type_string me serait utile: - quel type doit on utiliser...

Apply_format is used to process lexicon entries such as [%t witnessed the %s after his/her death] Some useful combinations of the two parameters were missing.

It is a factorisation of the several prefix_no_xxEnvoyé de mon iPhoneLe 24 nov. 2022 à 14:42, Swrup ***@***.***> a écrit : @Swrup commented on this pull request. In lib/templ.ml: >...

Merci !! 👍

Si je lis correctement les commentaires sur le Web, cela voudrait dire que la version redHat sur laquelle tu exécutes gwd n'est pas "à jour" pour GLIBC! Deux solutions :...

Mon serveur VPS chez OVH me coûte 6€/mois! Je viens d'y réinstaller la dernière version du master! Système Ubuntu (Welcome to Ubuntu 20.10 (GNU/Linux 5.8.0-41-generic x86_64)) Pas de problème. >...

Il devrait suffire de supprimer le dossier de distribution et éventuellement les raccourcis que vous avez installés sur votre écran d'accueil. GeneWeb n'installe aucun autre fichier.

J'observe un plantage au premier démarrage. Un deuxième essai fonctionne. Cela ressemble au problème évoqué dans la PR #1188

Agreed. Further analysis shows that the problem is in the different processing done in `open_etc_file` and `etc_fine_name`. `etc_file_name` does a full scan of possible template folders while `open_etc_file` is limited...