-- Leo's gemini proxy

-- Connecting to unbon.cafe:1965...

-- Connected

-- Sending request

-- Meta line: 20 text/gemini;

Automatisation de git via makefile


2022-01-04


Toutes les forges git[1] ne proposent pas forcément un système d’intégration continue[2] permettant de réaliser des actions automatiques via des crochets[3]. Cela rend les tâches particulièrement répétitives par exemple dans le cas d’une page statique hébergée sur Codeberg – absence de CI et publication exclusivement à partir d’une branche `pages`.


Manuel


La solution manuelle requiert une succession d’étapes répétitives afin de publier les modifications vers la branche `main` :


git add ;

git commit ;

git push.


Puis de les pousser vers la branche `pages` :


git checkout pages ;

git rebase main ;

git push.


Avant de revenir sur la branche `main` pour la prochaine utilisation :


git checkout main.


Makefile


Le caractère répétitif de ces manipulations ouvre la possibilité d’utiliser un makefile[4] pour n’avoir qu’une commande à taper, celui-ci peut être aussi simple que :


git:
	git add .
	git commit -m "$m"
	git push
	git checkout pages
	git rebase main
	git push
	git checkout main

Il suffira alors de lancer la commande `make git` dans le terminal suivi du texte de commit dans la variable m – qui pourrait également être standardisée.


[1] Système git, LeJun 2022

[2] Intégration continue, LeJun 2022

[3] Git hooks, LeJun 2022

[4] Make, LeJun 2022

-- Response ended

-- Page fetched on Sun May 19 01:34:33 2024