From 099b8dd00f3053d1d9d9a3330612f7c68aa36241 Mon Sep 17 00:00:00 2001
From: Thomas Juerges <4-jurges@users.noreply.git.astron.nl>
Date: Sat, 4 Apr 2020 00:18:22 +0200
Subject: [PATCH] Add script that runs a shell within itango

This should allow to install 3rd party packages with pip.
---
 tools/itango/itango_shell.sh | 1 +
 1 file changed, 1 insertion(+)
 create mode 100755 tools/itango/itango_shell.sh

diff --git a/tools/itango/itango_shell.sh b/tools/itango/itango_shell.sh
new file mode 100755
index 000000000..cf1495766
--- /dev/null
+++ b/tools/itango/itango_shell.sh
@@ -0,0 +1 @@
+docker exec -it itango /bin/bash
-- 
GitLab