March 2021

24 - Configuration de eclipse avec putty

February 2020

02 - extraction de fichier avec historique vers un nouveau repo

January 2020

06 - Propagation d'un tunnel ssh sur toutes les interfaces

06 - Import unrelated history in git

December 2019

12 - Comment pusher sur github sans le port 22 ouvert ?