Mot-clé - plugin

Fil des billets - Fil des commentaires

Forcément

Barre d'outils de l'éditeur historique avec la syntaxe wiki, déc. 2021

À être passé du côté de Markdown, j’ai passablement modifié le plugin qui gère cette syntaxe dans Dotclear pour lui ajouter quelques boutons et surtout pour basculer du côté SVG pour les images, bien plus propres que les vieilles PNG de l’éditeur historique. Voyez plutôt, la barre d’outils en mode  […]

Lire la suite

Github actions, des fois c'est bien

Ah y’est ! Après m’être bien arraché ce qui me restait de cheveux hier, j’ai enfin une tâche Github action automagique qui fonctionne \o/ Le code source si ça peut vous aider : name: Update dcstore.xml file if necessary on: release: types: - released workflow_dispatch: # A workflow run is made up  […]

Lire la suite

Github actions, des fois c'est bien, mais des fois…

Pas moyen d’éviter que mon job d’intégration continue ne soit lancé plus qu’une seule fois au moment où je crée une release et j’ai beau tenter de limiter ça avec un : on: release: type: - released J’ai encore et toujours 3 déclenchements ! Par ailleurs je viens de comprendre que la création de  […]

Lire la suite

Feignasse moi ?

Comme je disais hier, il a fallu que je crée les fichiers dcstore.xml pour tous mes thèmes et plugins et comme vous me connaissez, j’suis une feignasse assumée :-) J’ai donc passé beaucoup de temps pour développer un petit outil qui ferait le boulot à ma place, parce que faire ça pour environ 90  […]

Lire la suite

Couscous

Mon assiette de couscous vide au Titi Touareg de Montrouge, oct. 2021

Encore eu une autre idée de plugin, hier — ou avant-hier, mais on s’en tape de la date — pour proposer de modifier l’URL quand on change le titre de la page ou du billet en cours d’édition, à condition toutefois que le billet n’ait pas déjà été publié parce que cool URIs don’t change!. Par exemple,  […]

Lire la suite

Haut de page