From 1145f75a968999f24f9feb3fc82946aba14fb45d Mon Sep 17 00:00:00 2001
From: Yohann D'ANELLO <yohann.danello@gmail.com>
Date: Wed, 2 Sep 2020 15:26:36 +0200
Subject: [PATCH] Add script to launch a Docker bash easily

---
 shell/docker_bash | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 shell/docker_bash

diff --git a/shell/docker_bash b/shell/docker_bash
new file mode 100755
index 0000000..56f61be
--- /dev/null
+++ b/shell/docker_bash
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+if [ -r Dockerfile ]; then
+    if [ -w /var/run/docker.sock ]; then
+        docker build -t nk20 .
+        docker run -it --rm -v "$(pwd):/var/www/note_kfet/" -p 80:8080 nk20 bash
+    else
+        echo "Merci de rejoindre le groupe docker (ou lancez ce script en sudo) afin de pouvoir vous connecter au socket Docker."
+    fi
+else
+    echo "N'exécutez ce fichier que dans la racine de votre projet, afin de pouvoir localiser le fichier Dockerfile."
+fi
\ No newline at end of file