WIP ajout date de dernière modification#589
Conversation
|
Entre temps, depuis l'ouverture de l'issue, je l'ai fait pour mon cours de python. Je l'ai fait via un filtre lua. ça permet d'ailleurs d'avoir tout l'historique de modif, par exemple ça me semble préférable de faire un script lua, ça évite de surcharger chaque fiche par un bloc de code générique (pour lequel R n'est pas forcément l'outil le plus adapté) |
|
comme il y a pas mal de fiches qui ont été modifiées et que revenir en arrière coûte du temps, je pense qu'il est plus simple de fermer la PR et d'en ouvrir une nouvelle avec une autre approche. ça te va @clerousset ? |
|
Merci Lino pour ta proposition, tant mieux si tu as quelque chose qui ne nécessite pas de copier-coller. En revanche ça me paraît un peu overkill d'avoir tout l'historique des modifs, je pense qu'une date de modification serait suffisante (il y a déjà un bouton qui amène vers github pour ceux qui sont intéressés par l'historique et l'ensemble des commits) |
Pas complètement évident, obligé de faire tourner du code dans le fichier pour obtenir la date du fichier. Pas l'impression que ça peut se faire dans un header automatique
Pas fini de le mettre dans tous les qmd