From 9bb91af30dc87bafe81f1a2fdc8ad5fb6d90040a Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Sun, 9 Jul 2017 13:20:58 +0200
Subject: [PATCH] add script to define aliases for make and villas commands
 which will be executed inside Docker container

---
 tools/docker.sh | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100755 tools/docker.sh

diff --git a/tools/docker.sh b/tools/docker.sh
new file mode 100755
index 000000000..3a9394208
--- /dev/null
+++ b/tools/docker.sh
@@ -0,0 +1,44 @@
+#!/bin/bash
+# Wrapper to use make and villas commands with docker
+#
+# Run like this:
+#   $ source tools/docker.sh
+#
+# @author Steffen Vogel <stvogel@eonerc.rwth-aachen.de>
+# @copyright 2017, Institute for Automation of Complex Power Systems, EONERC
+# @license GNU General Public License (version 3)
+#
+# VILLASnode
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program.  If not, see <http://www.gnu.org/licenses/>.
+###################################################################################
+
+# In order to define aliases we need to source this script
+if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
+	echo "Please use 'source' to load this script: $ source $0"
+	exit
+fi
+
+DIR=$(realpath $(dirname $(realpath $BASH_SOURCE))/..)
+GIT_BRANCH=$(git rev-parse --abbrev-ref HEAD)
+
+# Build image once
+"make" docker-dev
+
+DOCKER_PATH=/villas/build/release/:/usr/bin
+DOCKER="docker run --rm --tty --env PATH=\"${DOCKER_PATH}\" -v \"${DIR}:/villas\""
+
+# Then define alias for make and node
+alias make="${DOCKER}   --entrypoint make            villas/node-dev:${GIT_BRANCH}"
+alias villas="${DOCKER} --entrypoint tools/villas.sh villas/node-dev:${GIT_BRANCH}"
\ No newline at end of file