From 109cd43bedf5ddd50cb51b06825db553c91a7015 Mon Sep 17 00:00:00 2001
From: Thomas Forgione <thomas@forgione.fr>
Date: Fri, 3 May 2019 10:21:34 +0200
Subject: [PATCH] Extraconfig.bash

---
 bashrc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bashrc b/bashrc
index 875f4e0..1367abb 100644
--- a/bashrc
+++ b/bashrc
@@ -111,3 +111,8 @@ fi
 if [ -d ~/.config/dotfiles/bin ]; then
     export PATH=~/.config/dotfiles/bin:$PATH
 fi
+
+# Source extra config if any
+if [ -f ~/.config/dotfiles/bash/extraconfig.bash ]; then
+    source ~/.config/dotfiles/bash/extraconfig.bash
+fi