Switch PHP version from 8.0 to 7.4

mantisbt · Feb 23, 2021 · dbd1e60 · dbd1e60
1 parent 6ca433f
commit dbd1e60
Showing 1 changed file with 13 additions and 15 deletions.
diff --git a/.gitpod/Dockerfile b/.gitpod/Dockerfile
@@ -4,34 +4,32 @@ USER root
 
 # Install packages
 
-RUN apt-get update
+RUN add-apt-repository ppa:ondrej/php 
+
+RUN apt-get update -y
 
 RUN apt-get upgrade -y
 
 RUN apt-get install -y software-properties-common
 
-RUN add-apt-repository ppa:ondrej/php 
-
-RUN apt-get update -y
-
-RUN apt-get install -y php8.0
+RUN apt-get install -y php7.4
 
-RUN apt-get install -y php8.0-common
+RUN apt-get install -y php7.4-common
 
-RUN apt-get install -y php8.0-gd
+RUN apt-get install -y php7.4-gd
 
-RUN apt-get install -y php8.0-curl
+RUN apt-get install -y php7.4-curl
 
-RUN apt-get install -y php8.0-soap
+RUN apt-get install -y php7.4-soap
 
-RUN apt-get install -y php8.0-mbstring
+RUN apt-get install -y php7.4-mbstring
 
-RUN apt-get install -y php8.0-mysql
+RUN apt-get install -y php7.4-mysql
 
-RUN apt-get install -y php8.0-cli
+RUN apt-get install -y php7.4-cli
 
-RUN apt-get install -y php8.0-dev
+RUN apt-get install -y php7.4-dev
 
-RUN apt-get install -y php8.0-xml
+RUN apt-get install -y php7.4-xml
 
 RUN rm -rf /var/lib/apt/lists/*