From 19bf6863c7c4f15219c4cb281d466d8451530db4 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Tue, 17 Jul 2018 15:25:34 +0200
Subject: [PATCH] r_dev/docker_init.sh: build r_dev:3.5.1 container

---
 r_dev/docker_init.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 r_dev/docker_init.sh

diff --git a/r_dev/docker_init.sh b/r_dev/docker_init.sh
new file mode 100755
index 0000000..78a99b3
--- /dev/null
+++ b/r_dev/docker_init.sh
@@ -0,0 +1,2 @@
+#!/bin/sh
+docker build r_dev -t 'r_dev:3.5.1'
-- 
GitLab