From 3b71e34aa49b593e254caa3d52ef2d11cd0b63e2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matej=20Ba=C4=8Do?= Date: Tue, 7 Jun 2022 13:50:05 +0000 Subject: [PATCH] Remove gitpod config (needed no more) --- .gitpod.Dockerfile | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 .gitpod.Dockerfile diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile deleted file mode 100644 index a0a8e7a1f8..0000000000 --- a/.gitpod.Dockerfile +++ /dev/null @@ -1,13 +0,0 @@ -FROM gitpod/workspace-full - -RUN sudo apt update -RUN sudo add-apt-repository ppa:ondrej/php -y -# Disable current PHP installation -RUN sudo a2dismod php7.4 mpm_prefork - -# Install apache2 (PHP install requires to do this first) and php8.0 -RUN sudo install-packages \ - -o Dpkg::Options::="--force-confdef" \ - -o Dpkg::Options::="--force-confold" \ - apache2 php8.0 -