From d829482a0696d6aa48af07d92c287d18308adceb Mon Sep 17 00:00:00 2001
From: Abhishek Prabhu <abyshakes@gmail.com>
Date: Wed, 25 May 2016 22:33:29 +0530
Subject: [PATCH] Issue #73 unable to install workspace container

---
 workspace/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 451cd76e..65534aba 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -20,7 +20,7 @@ RUN add-apt-repository -y \
     ppa:ondrej/php
 
 # Install PHP-CLI 7, some PHP extentions and some useful Tools with APT
-RUN apt-get update && apt-get install -y \
+RUN apt-get update && apt-get install -y --force-yes \
         php7.0-cli \
         php7.0-common \
         php7.0-curl \