- Notifications
You must be signed in to change notification settings - Fork24
fix: handle agent parameter in URIs#538
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to ourterms of service andprivacy statement. We’ll occasionally send you account related emails.
Already on GitHub?Sign in to your account
Uh oh!
There was an error while loading.Please reload this page.
Changes fromall commits
File filter
Filter by extension
Conversations
Uh oh!
There was an error while loading.Please reload this page.
Jump to
Uh oh!
There was an error while loading.Please reload this page.
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
# If you would like `git blame` to ignore commits from this file, run: | ||
# git config blame.ignoreRevsFile .git-blame-ignore-revs | ||
# chore: simplify prettier config (#528) | ||
f785902f3ad20d54344cc1107285c2a66299c7f6 | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others.Learn more. What's the purpose of this? MemberAuthor
|
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -600,7 +600,7 @@ export class Commands { | ||
} else { | ||
workspaceOwner = args[0] as string; | ||
workspaceName = args[1] as string; | ||
workspaceAgent=args[2] as string | undefined; | ||
folderPath = args[3] as string | undefined; | ||
openRecent = args[4] as boolean | undefined; | ||
} | ||
@@ -628,7 +628,7 @@ export class Commands { | ||
const workspaceOwner = args[0] as string; | ||
const workspaceName = args[1] as string; | ||
const workspaceAgent = args[2]as string; | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others.Learn more.
| ||
const devContainerName = args[3] as string; | ||
const devContainerFolder = args[4] as string; | ||
@@ -748,7 +748,7 @@ async function openDevContainer( | ||
baseUrl: string, | ||
workspaceOwner: string, | ||
workspaceName: string, | ||
workspaceAgent: string, | ||
devContainerName: string, | ||
devContainerFolder: string, | ||
) { | ||