From 0840bbc825f96f1811ea24ac5e6567bdee5c2ef8 Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Mon, 12 Aug 2019 23:31:03 +0200
Subject: [PATCH] ubuntu18.04: Replace mxnet profile with dockerfile ENV

---
 ubuntu18.04/cuda-devel/Dockerfile | 2 +-
 ubuntu18.04/devel/Dockerfile      | 2 +-
 ubuntu18.04/mxnet_profile.sh      | 2 --
 3 files changed, 2 insertions(+), 4 deletions(-)
 delete mode 100755 ubuntu18.04/mxnet_profile.sh

diff --git a/ubuntu18.04/cuda-devel/Dockerfile b/ubuntu18.04/cuda-devel/Dockerfile
index 2bc09ea..0913bc4 100644
--- a/ubuntu18.04/cuda-devel/Dockerfile
+++ b/ubuntu18.04/cuda-devel/Dockerfile
@@ -28,4 +28,4 @@ RUN apt-get update && \
     cd python && \
     python3.7 setup.py install && \
     apt-get clean
-ADD mxnet_profile.sh /etc/profile.d/mxnet.sh
+ENV MXNet_DIR /opt/mxnet-1.4.1
diff --git a/ubuntu18.04/devel/Dockerfile b/ubuntu18.04/devel/Dockerfile
index 8b664a2..c93b4ef 100644
--- a/ubuntu18.04/devel/Dockerfile
+++ b/ubuntu18.04/devel/Dockerfile
@@ -27,4 +27,4 @@ RUN apt-get update && \
     cd python && \
     python3.7 setup.py install && \
     apt-get clean
-ADD mxnet_profile.sh /etc/profile.d/mxnet.sh
+ENV MXNet_DIR /opt/mxnet-1.4.1
diff --git a/ubuntu18.04/mxnet_profile.sh b/ubuntu18.04/mxnet_profile.sh
deleted file mode 100755
index 993fda2..0000000
--- a/ubuntu18.04/mxnet_profile.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#! /bin/sh
-export MXNet_DIR=/opt/mxnet-1.4.1
-- 
GitLab