Merge remote-tracking branch 'upstream/master'

.bash_aliases

@@ -151,4 +151,7 @@ alias tailprocmail='tail -f ~/.procmail/logs/procmail.log'
 alias a♡tv='cvlc udp://@239.231.140.230:1337'
 
 #Meteo
-meteo () { curl wttr.in/`tr -s ' ' '_' <<< "$*"`; }
+meteo () { curl fr.wttr.in/`tr -s ' ' '_' <<< "$*"`; }
+
+#Lune
+moon () { curl fr.wttr.in/Moon; }

.bashrc

@@ -668,10 +668,10 @@ shopt -s histappend
 
 # Pour éviter un troll, aucune ligne de cette section n'est décommentée.
 # Choisissez la vôtre.
-#~# export EDITOR='/usr/bin/nano'
-#~# export EDITOR='/usr/bin/vim'
-#~# export EDITOR='/usr/bin/emacs'
-#~# export EDITOR='/usr/bin/jed'
+#~# export EDITOR='nano'
+#~# export EDITOR='vim'
+#~# export EDITOR='emacs'
+#~# export EDITOR='jed'
 
 # Ajouter ~/bin, /sbin et /usr/sbin à son PATH
 PATH=~/bin:$PATH:/sbin:/usr/sbin

.config/autostart/gnome-keyring-gpg.desktop

+
+[Desktop Entry]
+Type=Application
+Name=GPG Password Agent
+Name[de]=GPG-Passwort-Agent
+Name[en_GB]=GPG Password Agent
+Name[es]=Agente de contraseñas GPG
+Name[fr]=Agent de mot de passe GPG
+Name[it]=Agente password GPG
+Comment=GNOME Keyring: GPG Agent
+Comment[de]=GNOME-Schlüsselbunddienst: GPG-Agent
+Comment[en_GB]=GNOME Keyring: GPG Agent
+Comment[es]=Depósito de claves de GNOME: agente GPG
+Comment[fr]=Trousseau de clés GNOME : agent GPG
+Comment[it]=Portachiavi di GNOME: agente GPG
+Exec=/usr/bin/gnome-keyring-daemon --start --components=gpg
+OnlyShowIn=GNOME;Unity;
+X-GNOME-Autostart-Phase=Initialization
+X-GNOME-AutoRestart=false
+X-GNOME-Autostart-Notify=true
+X-GNOME-Bugzilla-Bugzilla=GNOME
+X-GNOME-Bugzilla-Product=gnome-keyring
+X-GNOME-Bugzilla-Component=general
+X-GNOME-Bugzilla-Version=3.4.1
+Hidden=true

.config/autostart/gnome-keyring-ssh.desktop

+
+[Desktop Entry]
+Type=Application
+Name=SSH Key Agent
+Name[de]=SSH-Schlüsselagent
+Name[en_GB]=SSH Key Agent
+Name[es]=Agente de claves SSH
+Name[fr]=Agent de clés SSH
+Name[it]=Agente chiavi SSH
+Comment=GNOME Keyring: SSH Agent
+Comment[de]=GNOME-Schlüsselbunddienst: SSH-Agent
+Comment[en_GB]=GNOME Keyring: SSH Agent
+Comment[es]=Depósito de claves de GNOME: agente SSH
+Comment[fr]=Trousseau de clés GNOME : agent SSH
+Comment[it]=Portachiavi di GNOME: agente SSH
+Exec=/usr/bin/gnome-keyring-daemon --start --components=ssh
+OnlyShowIn=GNOME;Unity;
+X-GNOME-Autostart-Phase=Initialization
+X-GNOME-AutoRestart=false
+X-GNOME-Autostart-Notify=true
+X-GNOME-Bugzilla-Bugzilla=GNOME
+X-GNOME-Bugzilla-Product=gnome-keyring
+X-GNOME-Bugzilla-Component=general
+X-GNOME-Bugzilla-Version=3.4.1
+Hidden=true

.gitconfig

@@ -38,3 +38,11 @@
 	# qu'elle a le même nom.
 	# (dans git 2.0, le comportement par défaut deviendra simple)
 	default = matching
+[log]
+	# Afficher les têtes des branches
+	decorate = true
+	# Afficher la version courtes des hash de commit
+	abbrevCommit = true
+[alias]
+	# Raccourci pour afficher toutes les branches.
+	lg = log --graph

.procmail/rc/ML_clubs

@@ -52,6 +52,7 @@ club.astro
 detenste
 eurovisioens
 fensfoire
+henstai
 impro
 jonglage
 k-dens

.profile

+# .profile générique mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utiliser, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Licence : WTFPL
+
+# Les sections commentées par #~# sont des features qui ne sont pas activées
+# par défaut. Sentez-vous libre de les décommenter pour les utiliser.
+
+#------------------------------------------------------------------------------
+
+# Si le shell est bash, lire le fichier de configuration (s'il existe)
+if [ -n "$BASH_VERSION" ]; then
+    # include .bashrc if it exists
+    if [ -f "$HOME/.bashrc" ]; then
+	. "$HOME/.bashrc"
+    fi
+fi
+
+# Si on a un dossier ~/bin, l'ajouter à la liste des dossiers
+# dans lesquels le shell cherche les commandes
+if [ -d "$HOME/bin" ] ; then
+    PATH="$HOME/bin:$PATH"
+fi

.ssh/config_bde

+# .ssh/config_bde pour les serveurs du BDE mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
+# Licence : WTFPL
+#
+# Pensez à remplacer "loginBDE" par les logins idoines.
+
+# Serveurs du BDE accessibles aux respos info
+Host kfet kfet.crans.org kfet1
+    HostName kfet.crans.org
+    User bde
+
+Host kfet-bureau kfet-bureau.crans.org
+    HostName kfet.crans.org
+    User bde
+
+Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
+    HostName bde2-virt.crans.org
+    User loginBDE
+    ForwardAgent yes
+
+Host bde3-virt digicode bde3-virt.crans.org
+    HostName bde3-virt.crans.org
+    User loginBDE
+    ForwardAgent yes
+
+Host bde3 bde3.crans.org
+    HostName bde3.crans.org
+    User loginBDE
+    ForwardAgent yes
+
+Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
+    HostName bde-test-virt.crans.org
+    User loginBDE
+    ForwardAgent yes
+
+Host sauron sauron.crans.org
+    HostName sauron.crans.org
+    User loginBDE
+    ForwardAgent yes

.ssh/config_dptinfo

+# .ssh/config_dptinfo pour les serveurs du dptinfo de l'ENSC mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
+# Licence : WTFPL
+#
+# Pensez à remplacer "loginENS" par les logins idoines.
+
+
+# Machines du département informatique de l'ENSC
+# Accesibles aux A0
+
+Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
+    #HostName 138.231.36.60
+    HostName ssh.dptinfo.ens-cachan.fr
+    User loginENS
+    ForwardAgent yes
+
+# Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
+# Sinon on crée une boucle
+Host *.dptinfo !ssh.dptinfo
+    HostName %h.ens-cachan.fr
+    User loginENS
+    ProxyJump ssh.dptinfo.ens-cachan.fr
+    ForwardAgent yes
+
+Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
+    HostName %h
+    User loginENS
+    ProxyJump ssh.dptinfo.ens-cachan.fr
+    ForwardAgent yes

.ssh/config_ens

+# .ssh/config_ens pour les serveurs de l'ENSC mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
+# Licence : WTFPL
+#
+# Pensez à remplacer "loginENS" par les logins idoines.
+
+# Accessibles aux élèves de l'ENS
+
+Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
+    HostName tselin.clietu.ens-cachan.fr
+    User loginENS
+    ProxyJump tahines.ens-cachan.fr
+
+Host tahines.ens-cachan.fr tahines2 tahines
+    HostName tahines.ens-cachan.fr
+    User loginENS

.ssh/config_federez

+# .ssh/config_federez pour les serveurs de fedeRez mis à votre disposition
+# par les gentils membres actifs du Cr@ns
+# Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
+# Des questions, des suggestions : {nounou,ca}@lists.crans.org
+# Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
+# Licence : WTFPL
+#
+# Pensez à remplacer "loginFedeRez" par les logins idoines.
+
+# Accessibles aux membres de l'équipe d'admin de FedeRez
+
+Host hexagon hexagon.federez.net
+    HostName hexagon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host quigon quigon.federez.net
+    HostName quigon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host nonagon nonagon.federez.net
+    HostName nonagon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host octogon octogon.federez.net
+    HostName octogon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host pentagon pentagon.federez.net
+    HostName pentagon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host parangon parangon.federez.net
+    HostName parangon.federez.net
+    User loginFedeRez
+    ForwardAgent yes
+
+Host federez-test federez-test.federez.net
+    HostName federez-test.federez.net
+    User loginFedeRez
+    ForwardAgent yes

.vimrc

@@ -8,8 +8,10 @@
 " par défaut. Sentez-vous libre de les décommenter pour les utiliser.
 
 "------------------------------------------------------------------------------
-"
-"
+
+"~" " Pour charger de la configuration avant la configuration crans
+"~" source ~/.vimrc_before
+
 " +-----------+
 " | Affichage |
 " +-----------+
@@ -80,6 +82,9 @@ set tabstop=2
 " Indente à 2 colonnes pour les opérations de réindentation
 set shiftwidth=2
 
+"~" " Ne suprime pas l'indentation faite par 'autoindent' si la ligne est laissé vide
+"~" set cpoptions+=I
+
 " Remplace les (futures) tabulations par des espaces
 set expandtab
 
@@ -92,6 +97,10 @@ autocmd FileType make set noexpandtab tabstop=4 shiftwidth=2 nopi ci
 " Utilise le presse papier system (nécessite vim-gnome sous Debian)
 set clipboard^=unnamedplus
 
+"~" "Les fichiers .ssh/config_* sont considérés comme des fichiers de
+"~" "configuration pour ssh.
+"~" au BufNewFile,BufRead */.ssh/config_*  setf sshconfig
+
 " +---------------------------+
 " | Recherche et substitution |
 " +---------------------------+
@@ -220,3 +229,14 @@ command-range OcamlVisualDecomment silent '<,'>s/^(\* // | '<,'>s/ \*)$// | nohl
 command OcamlDecomment s/^(\* // | s/ \*)$// | nohl
 au FileType ocaml vmap , :OcamlVisualDecomment <CR>
 au FileType ocaml nmap , :OcamlDecomment <CR>
+
+"~" " Surligne les espaces insécables
+"~" au BufEnter * hi Nbsp ctermbg=233 guibg=black
+"~" au BufEnter * match Nbsp /\%uA0/
+
+" +-------+
+" | Perso |
+" +-------+
+
+"~" " Pour charger de la configuration après la configuration crans
+"~" source ~/.vimrc_after