Mot-clé - plugin

Fil des billets - Fil des commentaires

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

Y'a des limites

Boîte de dialogue de suggestion de changement de titre, oct. 2021

Liminaire : ceci n’est pas un coup de gueule, juste une petite mise au point :-) Avant-hier et hier je publiais deux versions d’un plugin qui permet de pallier la ré-utilisation d’un titre parmi tous les billets d’un blog. C’est un plugin, codé à l’arrache une première fois, puis repris de zéro pour  […]

Lire la suite

Haut de page