Toutes sortes d’idées et de guides sur des outils de développement modernes. Chaque fois que je réussis à résoudre un problème particulier, j'aime partager l'information ici au cas que l'information soit utile pour d'autres personnes. Des fois, je partage aussi des choses et guides d'installation juste au cas où j'en aurais besoin plus tard.

The latest trend theses days in user interface design is definitely dark mode. I’m personally a big user of dark themes. I use it on my MacBook, iPhone, VSCode, GitHub and pretty much everywhere I can activate it. I find it can be easier on eye strain when working long hours in front of a screen like I do.

In 2019, I tried to get this very blog to be deployed automatically to the production server after each push to the corresponding GitHub repo. A couple of issues were found and after much frustration, the whole idea was scrapped. Fast forward many months later, and with new experience acquired and new tools available since, it was time to try again.

Dans ma quête pour trouver une solution de déploiement automatique pour un site Web construit avec Grav, j'ai déjà établi que le plugin Grav git-sync ne répondait pas exactement à mes besoins. J'ai fait beaucoup de recherches depuis et je suis surpris de voir très peu de solutions sont disponibles, pas seulement pour Grav, mais pour les scripts post-commit et Webhooks en général.

Lors de la création de ce blog et de la mise à jours de la documentation de UserFrosting, je suis tombé sur le problème du déploiement des deux sites sur leurs serveurs de production respectifs (dans ce cas, deux VPS). Étant donné que les deux sites ont leur code source sur GitHub, l’utilisation d’u...