From a6ce0261ced7cba78f93d797fdfbdb5a58186beb Mon Sep 17 00:00:00 2001 From: Manuel Alejandro de Brito Fontes Date: Thu, 10 Jun 2021 18:19:07 -0400 Subject: [PATCH] [dashboard] Remove duplicated gitpod-schema.json --- components/dashboard/BUILD.yaml | 1 + components/dashboard/leeway.Dockerfile | 2 + .../public/schemas/gitpod-schema.json | 230 ------------------ 3 files changed, 3 insertions(+), 230 deletions(-) delete mode 100644 components/dashboard/public/schemas/gitpod-schema.json diff --git a/components/dashboard/BUILD.yaml b/components/dashboard/BUILD.yaml index ae554fbe2c75be..b0430c849fd0a7 100644 --- 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 index 4b61fcc54b3b8d..0a172308092328 100644 --- 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 deleted file mode 100644 index e9d7aa51d6ac95..00000000000000 --- a/components/dashboard/public/schemas/gitpod-schema.json +++ /dev/null @@ -1,230 +0,0 @@ -{ - "$id": "https://gitpod.io/gitpod.schema.json", - "$schema": "http://json-schema.org/draft-07/schema#", - "title": "Gitpod Config", - "type": "object", - "properties": { - "ide": { - "anyOf": [ - { - "type": "string" - }, - { - "type": "string", - "enum": [ - "theia", - "code" - ] - } - ], - "default": "theia", - "description": "Controls what ide should be used for a workspace.", - "deprecationMessage": "The 'ide' property is an experimental feature and enabled only for some users." - }, - "ports": { - "type": "array", - "description": "List of exposed ports.", - "items": { - "type": "object", - "required": [ - "port" - ], - "properties": { - "port": { - "type": ["number", "string"], - "pattern": "^\\d+[:-]\\d+$", - "description": "The port number (e.g. 1337) or range (e.g. 3000-3999) to expose." - }, - "onOpen": { - "type": "string", - "enum": [ - "open-browser", - "open-preview", - "notify", - "ignore" - ], - "description": "What to do when a service on this port was detected. 'notify' (default) will show a notification asking the user what to do. 'open-browser' will open a new browser tab. 'open-preview' will open in the preview on the right of the IDE. 'ignore' will do nothing." - }, - "visibility": { - "type": "string", - "enum": [ - "private", - "public" - ], - "default": "public", - "description": "Whether the port visibility should be private or public. 'public' (default) will allow everyone with the port URL to access the port. 'private' will only allow users with workspace access to access the port." - }, - "name": { - "type": "string", - "deprecationMessage": "The 'name' property is deprecated.", - "description": "Port name (deprecated)." - }, - "protocol": { - "type": "string", - "enum": [ - "http", - "TCP", - "UDP" - ], - "deprecationMessage": "The 'protocol' property is deprecated.", - "description": "The protocol to be used. (deprecated)" - } - }, - "additionalProperties": false - } - }, - "tasks": { - "type": "array", - "description": "List of tasks to run on start. Each task will open a terminal in the IDE.", - "items": { - "type": "object", - "properties": { - "name": { - "type": "string", - "description": "Name of the task. Shown on the tab of the opened terminal." - }, - "before": { - "type": "string", - "description": "A shell command to run before `init` and the main `command`. This command is executed on every start and is expected to terminate. If it fails, the following commands will not be executed." - }, - "init": { - "type": "string", - "description": "A shell command to run between `before` and the main `command`. This command is executed only on after initializing a workspace with a fresh clone, but not on restarts and snapshots. This command is expected to terminate. If it fails, the `command` property will not be executed." - }, - "prebuild": { - "type": "string", - "description": "A shell command to run after `before`. This command is executed only on during workspace prebuilds. This command is expected to terminate. If it fails, the workspace build fails." - }, - "command": { - "type": "string", - "description": "The main shell command to run after `before` and `init`. This command is executed last on every start and doesn't have to terminate." - }, - "env": { - "type": "object", - "description": "Environment variables to set." - }, - "openIn": { - "type": "string", - "enum": [ - "bottom", - "main", - "left", - "right" - ], - "description": "The panel/area where to open the terminal. Default is 'bottom' panel." - }, - "openMode": { - "type": "string", - "enum": [ - "split-top", - "split-left", - "split-right", - "split-bottom", - "tab-before", - "tab-after" - ], - "description": "The opening mode. Default is 'tab-after'." - } - }, - "additionalProperties": false - } - }, - "image": { - "type": [ - "object", - "string" - ], - "description": "The Docker image to run your workspace in.", - "default": "gitpod/workspace-full", - "required": [ - "file" - ], - "properties": { - "file": { - "type": "string", - "description": "Relative path to a docker file." - }, - "context": { - "type": "string", - "description": "Relative path to the context path (optional). Should only be set if you need to copy files into the image." - } - }, - "additionalProperties": false - }, - "checkoutLocation": { - "type": "string", - "description": "Path to where the repository should be checked out." - }, - "workspaceLocation": { - "type": "string", - "description": "Path to where the IDE's workspace should be opened." - }, - "gitConfig": { - "type": [ - "object" - ], - "description": "Git config values should be provided in pairs. E.g. `core.autocrlf: input`. See https://git-scm.com/docs/git-config#_values.", - "additionalProperties": { - "type": "string" - } - }, - "github": { - "type": "object", - "description": "Configures Gitpod's GitHub app", - "properties": { - "prebuilds": { - "type": [ - "boolean", - "object" - ], - "description": "Set to true to enable workspace prebuilds, false to disable them. Defaults to true.", - "properties": { - "master": { - "type": "boolean", - "description": "Enable prebuilds for the default branch (typically master). Defaults to true." - }, - "branches": { - "type": "boolean", - "description": "Enable prebuilds for all branches. Defaults to false." - }, - "pullRequests": { - "type": "boolean", - "description": "Enable prebuilds for pull-requests from the original repo. Defaults to true." - }, - "pullRequestsFromForks": { - "type": "boolean", - "description": "Enable prebuilds for pull-requests from any repo (e.g. from forks). Defaults to false." - }, - "addBadge": { - "type": "boolean", - "description": "Add a Review in Gitpod badge to pull requests. Defaults to true." - }, - "addLabel": { - "type": [ - "boolean", - "string" - ], - "description": "Add a label to a PR when it's prebuilt. Set to true to use the default label (prebuilt-in-gitpod) or set to a string to use a different label name. This is a beta feature and may be unreliable. Defaults to false." - } - } - } - }, - "additionalProperties": false - }, - "vscode": { - "type": "object", - "description": "Configure VS Code integration", - "additionalProperties": false, - "properties": { - "extensions": { - "type": "array", - "description": "List of extensions which should be installed for users of this workspace. The identifier of an extension is always '${publisher}.${name}'. For example: 'vscode.csharp'.", - "items": { - "type": "string" - } - } - } - } - }, - "additionalProperties": false -} \ No newline at end of file