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

@@ -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