From: Vincent Le Gallic <legallic@crans.org>
Date: Sat, 11 Apr 2015 14:07:10 +0000 (+0200)
Subject: Merge branch 'master' into perso
X-Git-Url: http://gitweb.pimeys.fr/?a=commitdiff_plain;h=66a043648786b447643e00f2b5c7b1a599bb7740;p=config-20-100.git

Merge branch 'master' into perso

Conflicts:
	.bash_aliases
	.procmailrc
---

66a043648786b447643e00f2b5c7b1a599bb7740
diff --cc .bash_aliases
index 8ead57f,74a0af5..192caeb
--- a/.bash_aliases
+++ b/.bash_aliases
@@@ -106,19 -90,24 +106,24 @@@ alias exportless="export LESS='-S'
  # +-------+
  # Des raccourcis pour appeler des logiciels avec des options supplémentaires
  
 -#~# # Pour que youtube-dl récupère seulement l'audio, et en MP3 s'il vous plait
 -#~# alias youtube-dl='youtube-dl --extract-audio -t --audio-format=mp3'
 +# Pour que youtube-dl récupère seulement l'audio, et en MP3 s'il vous plait
 +alias youtube-dl='youtube-dl --extract-audio -t --audio-format=mp3'
  
 -#~# # Pour avoir les diff sous format git-like
 -#~# alias diff='diff -u'
 -#~# alias colordiff='colordiff -u'
 +# Pour avoir les diff sous format git-like
 +alias diff='diff -u'
 +alias colordiff='colordiff -u'
  
 -#~# # Pour que mtr n'utilise pas l'interface graphique
 -#~# alias mtr='mtr -t'
 +# Pour que mtr n'utilise pas l'interface graphique
 +alias mtr='mtr -t'
  
 -#~# # Pour que les semaines de cal commencent le Lundi
 -#~# alias cal='ncal -bM'
 +# Pour que les semaines de cal commencent le Lundi
 +alias cal='ncal -bM'
  
 -#~# # Hack pour déclencher les hooks sur un dépôt bare git
 -#~# # (genre git-update-server-info et/ou trigger KGB)
 -#~# # en faisant un truc bidon et transparent pour l'historique
 -#~# # (à savoir créer une branche et la supprimer)
 -#~# alias shakegit='git checkout -b shakegitbranch && git push origin shakegitbranch && git checkout master && git branch -d shakegitbranch && git push origin :shakegitbranch'
++# Hack pour déclencher les hooks sur un dépôt bare git
++# (genre git-update-server-info et/ou trigger KGB)
++# en faisant un truc bidon et transparent pour l'historique
++# (à savoir créer une branche et la supprimer)
++alias shakegit='git checkout -b shakegitbranch && git push origin shakegitbranch && git checkout master && git branch -d shakegitbranch && git push origin :shakegitbranch'
  
  # +--------+
  # | Divers |