dev

- dev

Hacktoberfest 2019

Présentation de l'événement organisé chaque année par DigitalOcean pour promouvoir les contributions Open Source.

Lire la suite...
- 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...