- ops
Copier des fichiers entre un container docker et son hôte
La copie de fichiers entre un container et l'hôte sous-jacent est un besoin récurrent mais pas forcément évident à effectuer pour qui découvre Docker. C'est cependant une opération très simple.
Lire la suite...- dev
Trouver les branches déjà mergées dans git
Si le ménage n'a jamais été fait dans un repository git, il est possible que ce dernier croule sous les branches obsolètes ou déjà mergées. Voici un moyen qui permettra de les identifier et de les traiter facilement.
Lire la suite...- dev
Modifier son dernier commit git avec l'option --amend
Parmi les nombreuses options de la commande git commit, il en existe une très pratique, amend.
Lire la suite...