From 15e423af425ef0aa747f00470c2601f45e99fb77 Mon Sep 17 00:00:00 2001
From: Gergely Nagy <algernon@madhouse-project.org>
Date: Tue, 24 Jan 2017 12:19:20 +0100
Subject: [PATCH] tools/keyboardio-builder: Source ~/.keyboardio-builder.conf
 too

If there exists a configuration in the user's home directory, source it
too. Allows setting up some host-wide defaults.

Signed-off-by: Gergely Nagy <algernon@madhouse-project.org>
---
 tools/keyboardio-builder | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tools/keyboardio-builder b/tools/keyboardio-builder
index b021f2da..cabe6789 100755
--- a/tools/keyboardio-builder
+++ b/tools/keyboardio-builder
@@ -253,6 +253,10 @@ ROOT="$(cd $(dirname $0)/..; pwd)"
 export ROOT
 export SOURCEDIR="$(pwd)"
 
+if [ -e "${HOME}/.keyboardio-builder.conf" ]; then
+    . "${HOME}/.keyboardio-builder.conf"
+fi
+
 if [ -e "${SOURCEDIR}/.keyboardio-builder.conf" ]; then
     . "${SOURCEDIR}/.keyboardio-builder.conf"
 fi