From 482f5c6d1e6a76b84a7708dfa604815e973dcfc7 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Sun, 15 Jun 2014 11:28:54 +0200
Subject: [PATCH] If privdotfiles is available, add its bin dir to PATH

---
 .bashrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.bashrc b/.bashrc
index 12dee5a..57092dd 100644
--- a/.bashrc
+++ b/.bashrc
@@ -119,4 +119,8 @@ if [ -f /etc/bash_completion ] && ! shopt -oq posix; then
     . /etc/bash_completion
 fi
 
+if [ -x ~/.privdotfiles/bin ]; then
+    PATH=$PATH:~/.privdotfiles/bin
+fi
+
 PATH=$PATH:/usr/local/bin/android-sdk-linux/platform-tools