Sunday 14 January 2018Monday 15 January 2018 Script: Create a github repository, a git local directory, and link them in a single script Continue reading →
Saturday 6 August 2016 Supprimer des fichiers redondants avec des extensions différentes Continue reading →
Monday 3 January 2011Wednesday 2 September 2015 Vérifier si une variable est multiple de 3 en bash Continue reading →
Tuesday 18 November 2008Tuesday 23 December 2008 sed ou rename en shell avec des variables Continue reading →
