diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile deleted file mode 100644 index 43355323f071a..0000000000000 --- a/.gitpod.Dockerfile +++ /dev/null @@ -1,7 +0,0 @@ -FROM gitpod/workspace-full-vnc - -USER gitpod - -RUN sudo apt-get update && \ - sudo apt-get install -yq firefox && \ - sudo rm -rf /var/lib/apt/lists/* diff --git a/.gitpod.yml b/.gitpod.yml deleted file mode 100644 index 648e81e3f5a08..0000000000000 --- a/.gitpod.yml +++ /dev/null @@ -1,13 +0,0 @@ -image: - file: .gitpod.Dockerfile -tasks: - - command: | - gp await-port 8888 && gp preview $(gp url 8888)/web/viewer.html && echo '[{"name": "Firefox","path": "/usr/bin/firefox"}]' | jq '.' > test/resources/browser_manifests/browser_manifest.json - - - init: npm install -g gulp-cli && npm install - command: gulp server -ports: - - port: 8888 - onOpen: ignore - - port: 6080 - onOpen: ignore