Versions in this module Expand all Collapse all v0 v0.1.0 May 30, 2022 Changes in this version + const DevEnvDockerContainerEntrypointFilePath + const DevEnvDockerContainerName + const DevEnvDockerGroupName + const DevEnvDockerImageName + const DevEnvGitHubPublicGPGKeyFilePath + const DevEnvGitHubPublicSSHKeyFilePath + const DevEnvRecodeUserAuthorizedSSHKeysFilePath + const DevEnvRecodeUserName + const DevEnvVSCodeWorkspaceConfigFilePath + const DevEnvWorkspaceConfigDirPath + const DevEnvWorkspaceConfigFilePath + const DevEnvWorkspaceConfigHooksDirPath + const DevEnvWorkspaceDirPath + const GRPCServerAddr + const GRPCServerAddrProtocol + const InitInstanceScriptRepoPath + const SSHServerHostKeyFilePath + const SSHServerListenAddr + const SSHServerListenPort + var DevEnvDockerContainerStartCmd = []string