Archives du mois
Archive of posts from month
August 2023
devcontainer for dokuwiki plugin development
20/08/2023 4 mins
I am maintainer of a dokuwiki plugin and as I am no more a dokuwiki user, nor PHP developer, it is not always easy to get a running environment to fix and test. But now we are in 2023, and there is a cool thing called {devcontainers](https://containers.dev/) that will help...
Paramétrages réseau et VPN sous debian 12
20/08/2023 5 mins
Je boudais injustement NetworkManager depuis des années car je n’avais pas compris son architecture, et pensais à tort qu’il s’agissait d’un logiciel propre à la session utilisateur. Mais il s’agit bien d’un service complet exécuté sans session utilisateur, mais commandable depuis la session. Il comporte désormais quasiment toutes les fonctions...
Profil BASH
20/08/2023 4 mins
À l’occasion de mon passage sur debian 12, un problème avec zshque j’utilisais depuis 25 ans m’a forcé à passer sur bash, et donc à me définir un profil bash adapté à mes besoins.
Installation debian 12
13/08/2023 13 mins
Debian 12 “bookworm” est sortie en juin de cette année. L’occasion de rafraîchir mon installation debian qui datait de plus de 10 ans ! À propos de décennies debian fête ses 30 ans, bon anniversaire debian !