Skip to content
Snippets Groups Projects

feat: remove devcontainers when disconnected

Files

@@ -136,12 +136,10 @@ export class MissionDevContainer {
return writeFile(
`${this.dirs.devcontainer}/devcontainer.json`,
(() => {
const imageName =
`deadlock-${this.missionId}-${this.missionVersion}` + UserMission.instance.reviewee
? `-${UserMission.instance.reviewee}`
: '';
const containerName =
`deadlock-mission-${this.missionId}-${this.missionVersion}` + (this.revieweeId ? `-${this.revieweeId}` : '');
const devcontainer: Partial<DockerfileSpecific & Base & VSCodespecific & LifecycleScripts> = {
name: imageName,
name: containerName,
image: `${REGISTRY_MISSION_URL}/${this.missionId}:${this.missionVersion}`,
containerEnv: {
WORKDIR: `${remoteMissionDir}`,
@@ -156,7 +154,7 @@ export class MissionDevContainer {
workspaceMount: `source=${this.dirs.mounted},target=${remoteMissionDir},type=bind`,
workspaceFolder: `${remoteMissionDir}`,
onCreateCommand: `cp -R ${remoteGiteaWorkDir}/* ${remoteMissionDir} && sudo bash /start.desktop.sh`,
runArgs: ['--name', imageName, '--privileged'],
runArgs: ['--name', containerName, '--privileged'],
...options,
};
return JSON.stringify(devcontainer, null, 2);
Loading