distante : git push origin --delete [nom_de_la_branche]
-
https://www.journaldunet.fr/web-tech/developpement/1202943-effacer-une-branche-git-a-la-fois-locale-et-distante/wtf?
cd dir
time perl -e 'for(<*>){((stat)[9]<(unlink))}'
-
http://www.slashroot.in/which-is-the-fastest-method-to-delete-files-in-linux