From deb9c36f04b19ac8d0e6a544b22bbcea4eb770ab Mon Sep 17 00:00:00 2001
From: Jake Howard <jake.howard@dabapps.com>
Date: Tue, 6 Jun 2017 12:09:42 +0100
Subject: [PATCH] Add private stuff to shell setup

---
 .gitignore   | 1 +
 bash/base.sh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/.gitignore b/.gitignore
index 73ad4e1..9ab6d4e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,3 +2,4 @@
 .owncloudsync.log
 config/jetbrains-settings.jar
 config/assh.*
+bash/private.sh
diff --git a/bash/base.sh b/bash/base.sh
index bff9db7..257acd2 100644
--- a/bash/base.sh
+++ b/bash/base.sh
@@ -7,6 +7,7 @@ esac
 source $DOTFILES/bash/catfish.sh
 source $DOTFILES/bash/javascript.sh
 source $DOTFILES/bash/applications.sh
+[ -s "$DOTFILES/bash/private.sh" ] && source "$DOTFILES/bash/private.sh"  # load private stuff
 
 # Export some variables
 export ANDROID_HOME=/opt/android-sdk