From d88fe9849a8f4c72ab6172707f01c90455f5bb2f Mon Sep 17 00:00:00 2001
From: Julien Palard <julien@palard.fr>
Date: Sun, 12 Aug 2018 11:56:25 +0200
Subject: [PATCH] Shorter.

---
 .bashrc | 23 +++++++----------------
 1 file changed, 7 insertions(+), 16 deletions(-)

diff --git a/.bashrc b/.bashrc
index 75163ed..2c1b2ff 100644
--- a/.bashrc
+++ b/.bashrc
@@ -67,22 +67,13 @@ alias ls='ls --color=auto'
 alias fingerprint='find /etc/ssh -name "*.pub" -exec ssh-keygen -l -f {} \;'
 alias rekey='ssh-add -e /usr/lib/x86_64-linux-gnu/opensc-pkcs11.so; ssh-add -s /usr/lib/x86_64-linux-gnu/opensc-pkcs11.so'
 
-if [ -f /etc/bash_completion ]; then
-    . /etc/bash_completion
-fi
-
-if [ -f ~/.bash_aliases ]; then
-    . ~/.bash_aliases
-fi
-
-if [ -f ~/.my_bashrc ]; then
-    . ~/.my_bashrc
-fi
-
-if [ -f ~/.git-prompt.sh ]
-then
-    . ~/.git-prompt.sh
-fi
+for extra in /etc/bash_completion ~/.bash_aliases ~/.my_bashrc ~/.git-prompt.sh
+do
+    if [ -f "$extra" ]
+    then
+        . $extra
+    fi
+done
 
 jsonpp()
 {