mirror of
https://github.com/gitpod-io/gitpod.git
synced 2025-12-08 17:36:30 +00:00
959e584b55
It is a prerequisite to https://github.com/gitpod-io/gitpod/pull/15795. Based on Pudong's work from https://github.com/gitpod-io/gitpod/pull/15687. Co-authored-by: Pudong Zheng <tianshi8650@gmail.com>
20 lines
686 B
Go
20 lines
686 B
Go
// Copyright (c) 2021 Gitpod GmbH. All rights reserved.
|
|
// Licensed under the GNU Affero General Public License (AGPL).
|
|
// See License.AGPL.txt in the project root for license information.
|
|
|
|
package workspace
|
|
|
|
const (
|
|
Component = "workspace"
|
|
ContainerPort = 23000
|
|
DefaultWorkspaceImage = "gitpod/workspace-full"
|
|
DefaultWorkspaceImageVersion = "latest"
|
|
DockerUpImage = "docker-up"
|
|
SupervisorImage = "supervisor"
|
|
WorkspacekitImage = "workspacekit"
|
|
SupervisorPort = 22999
|
|
SupervisorDebugPort = 24999
|
|
IDEDebugPort = 25000
|
|
DebugWorkspaceProxyPort = 25003
|
|
)
|