[dashboard] Remove duplicated gitpod-schema.json

gitpod-io · Jun 14, 2021 · a6ce026 · a6ce026
1 parent d38ee02
commit a6ce026
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 230 deletions.
diff --git a/components/dashboard/BUILD.yaml b/components/dashboard/BUILD.yaml
@@ -37,6 +37,7 @@ packages:
       - :app
       - :static
       - components/local-app:app
+      - components/gitpod-protocol:gitpod-schema
     argdeps:
       - imageRepoBase
     config:

diff --git a/components/dashboard/leeway.Dockerfile b/components/dashboard/leeway.Dockerfile
@@ -20,6 +20,8 @@ COPY components-local-app--app/components-local-app--app-linux/local-app /www/st
 COPY components-local-app--app/components-local-app--app-darwin/local-app /www/static/bin/gitpod-local-companion-darwin
 COPY components-local-app--app/components-local-app--app-windows/local-app.exe /www/static/bin/gitpod-local-companion-windows.exe
 
+COPY components-gitpod-protocol--gitpod-schema/gitpod-schema.json /www/static/schemas/gitpod-schema.json
+
 RUN for PLATFORM in linux darwin windows.exe;do \
   gzip -v -f -9 -k "/www/static/bin/gitpod-local-companion-$PLATFORM"; \
 done

diff --git a/components/dashboard/public/schemas/gitpod-schema.json b/components/dashboard/public/schemas/gitpod-schema.json