Nouveau site de cours

Ça y est, j’ai terminé la réécriture de mon site pour partager mes notes de cours.

Jusqu’ici, j’utilisais l’application PineDocs¹. J’ai fait de nombreuses contributions au projet et je tiens à encore remercier xy2z² d’en avoir merge plus d’une.

Mais depuis un moment, je voulais changer. Déjà, PineDocs est écrit en PHP, un langage que je ne connais pas. Je voulais aussi que le site soit mieux intégré à mon nouveau site (l’actuel) au lieu qu’il soit séparé du reste. Le style ne me convenait pas plus que ça ; et c’était un beau défi pour moi.

Alors voilà, avec les briques que j’avais écrites pour la partie “blog”, quelques adaptations et beaucoup de corrections de bugs, j’ai enfin terminé. Ce n’est pas parfait, mais c’est suffisant.

Les problèmes sont là : la recherche est relativement lente (car faite en local), et la construction de l’arbre des fichiers est faite en local, alors plus le dossier partagé est gros, plus l’arbre l’est aussi.

Mais en même temps, enfin fini les problèmes entre le Markdown et les formules \LaTeX. Le back-end écrit en Rust est quand même plus rapide, surtout quand la page demandée est mise en cache (qui est côté serveur, contrairement à PineDocs qui le faisait côté client). Le style entre mon site “principal” et la partie “cours” est désormais harmonisé et je suis plutôt content du résultat. Enfin, le site de cours est disponible dans un thème clair !³

Aussi, je peux dorénavant imbriquer des fichiers Markdown entre eux. J’ai l’habitude d’avoir chaque créneau de cours séparé les uns des autres et d’avoir un “méga-fichier” qui cite tous mes autres fichiers de cours. Il est donc à présent proprement rendu et facilement imprimable grâce à une jolie feuille CSS qui adapte mes pages à l’impression.⁴ Ce que j’avais fait pour le reste de mon site aussi est utilisé pour la réécriture⁵, notamment mon “obfuscateur d’e-mail”⁶ qui est basique, mais c’est toujours mieux que rien – et si ça peut passer quelques bots, c’est ça de gagner.

J’ai commencé à penser à la réécriture le 16 avril 2023, la PR qui a initié le boulot a été ouverte le 31 octobre 2023 et a été merge le 1^er avril 2024, et c’est aujourd’hui que l’état de la réécriture est dans un assez bon état pour être utilisable.

En ce qui concerne mon ancien site de cours, je vais le laisser en place pendant un petit moment (peut-être jusqu’à la fin des fêtes de fin d’année) et je pointerais l’URL vers la nouvelle version le temps venu.