File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -600,7 +600,7 @@ export class Commands {
600
600
} else {
601
601
workspaceOwner = args [ 0 ] as string ;
602
602
workspaceName = args [ 1 ] as string ;
603
- // workspaceAgent is reserved for args[2], but multiple agents aren't supported yet.
603
+ workspaceAgent = args [ 2 ] as string | undefined ;
604
604
folderPath = args [ 3 ] as string | undefined ;
605
605
openRecent = args [ 4 ] as boolean | undefined ;
606
606
}
@@ -628,7 +628,7 @@ export class Commands {
628
628
629
629
const workspaceOwner = args [ 0 ] as string ;
630
630
const workspaceName = args [ 1 ] as string ;
631
- const workspaceAgent = undefined ; // args[2] is reserved, but we do not support multiple agents yet.
631
+ const workspaceAgent = args [ 2 ] as string ;
632
632
const devContainerName = args [ 3 ] as string ;
633
633
const devContainerFolder = args [ 4 ] as string ;
634
634
You can’t perform that action at this time.
0 commit comments