From 91800659866146b2d5406bd209022191fa4c8da6 Mon Sep 17 00:00:00 2001 From: Jerome Jutteau Date: Mon, 4 Sep 2017 08:56:13 +0200 Subject: [PATCH 1/1] [TASK] Remove dev.sh script file Not usefull anymore as there is now a docker directory with better configuration. Signed-off-by: Jerome Jutteau --- dev.sh | 5 ----- 1 file changed, 5 deletions(-) delete mode 100755 dev.sh diff --git a/dev.sh b/dev.sh deleted file mode 100755 index d749cf7..0000000 --- a/dev.sh +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/bash -jroot=$(cd "$(dirname $0)" && pwd) -docker -h &> /dev/null || (echo "You need docker installed" && exit 1) -docker pull tutum/apache-php -docker run -v $jroot:/app -t -i --rm -p 8080:80 tutum/apache-php -- 2.34.1