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 {
600600 } else {
601601 workspaceOwner = args [ 0 ] as string ;
602602 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 ;
604604 folderPath = args [ 3 ] as string | undefined ;
605605 openRecent = args [ 4 ] as boolean | undefined ;
606606 }
@@ -628,7 +628,7 @@ export class Commands {
628628
629629 const workspaceOwner = args [ 0 ] as string ;
630630 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 ;
632632 const devContainerName = args [ 3 ] as string ;
633633 const devContainerFolder = args [ 4 ] as string ;
634634
You can’t perform that action at this time.
0 commit comments