I am trying to customize Gitpod-Workspace! In that I have tried to build and use docker image (which have google sdk and terraform) in gitpod. That docker image should be used as terminal in gitpod and it should be opened in startup! Image build is completing properly but issue is that, it didn’t launch and ..
The error I’m facing is on Gitpod with PHP version, so the question is, how can I delete PHP completely from the workspace or replace it? Basically, I want to downgrade it. I want to replace PHP with an older version. Unfortunately, I’m not able to get rid of the default PHP version 7.4 of ..
I’ve tried to launch a new workspace with a specific librairy : https://packages.debian.org/fr/sid/libdevel/libjansson-dev running the below command gp init and putting RUN apt-get update && apt-get install -y libjansson-dev in the Dockerfile. But the workspace failed. Error: build failed: cannot build base image: The command ‘/bin/sh -c RUN apt-get update && apt-get install -y libjansson-dev’ ..