lat5211/devstar_plugin
0
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

refactor: user can set devstar domain instead of devstar home

Browse Source
This commit is contained in:
Levi Yan
2024-12-27 13:02:56 +08:00
parent f7b0cbfc4c
commit 185fc8d56e
2 changed files with 10 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
package.json
View File

@@ -86,10 +86,10 @@
"default": false, "default": false,
"description": "Disable showing DevStar Home at startup" "description": "Disable showing DevStar Home at startup"
}, },
"devstar.devstarHomePage": { "devstar.devstarDomain": {
"type": "string", "type": "string",
"default": "https://devstar.cn/devstar-home", "default": "https://devstar.cn/",
"description": "DevStar Home Page" "description": "DevStar Domain URL"
} }
} }
} }

11
src/home.ts
View File

@@ -9,18 +9,18 @@ export default class DSHome {
private remoteContainer: RemoteContainer; private remoteContainer: RemoteContainer;
private user: User; private user: User;
private devstarHomePageUrl: string; private devstarHomePageUrl: string;
private devstarDomain: string|undefined
constructor(context: vscode.ExtensionContext) { constructor(context: vscode.ExtensionContext) {
this.context = context; this.context = context;
this.user = new User(context); this.user = new User(context);
this.remoteContainer = new RemoteContainer(this.user); this.remoteContainer = new RemoteContainer(this.user);
const devstarHomePageUrl: string | undefined = vscode.workspace.getConfiguration('devstar').get('devstarHomePage') this.devstarDomain = vscode.workspace.getConfiguration('devstar').get('devstarDomain')
if (undefined == devstarHomePageUrl || "" == devstarHomePageUrl) { if (undefined == this.devstarDomain || "" == this.devstarDomain) {
this.devstarHomePageUrl = "https://devstar.cn/devstar-home" this.devstarHomePageUrl = "https://devstar.cn/devstar-home"
// this.devstarHomePageUrl = "http://localhost:3000/devstar-home"
} else { } else {
this.devstarHomePageUrl = devstarHomePageUrl this.devstarHomePageUrl = this.devstarDomain.endsWith('/') ? this.devstarDomain + "devstar-home" : this.devstarDomain + "/devstar-home"
} }
} }
@@ -74,6 +74,9 @@ export default class DSHome {
case 'openRemoteFolder': case 'openRemoteFolder':
this.remoteContainer.openRemoteFolder(data.host, data.username, data.port, data.path); this.remoteContainer.openRemoteFolder(data.host, data.username, data.port, data.path);
break; break;
case 'getDevstarDomain':
panel.webview.postMessage({command: 'getDevstarDomain', data:{ devstarDomain: this.devstarDomain}})
break;
// ----------------- not frequent ----------------------- // ----------------- not frequent -----------------------
case 'setUserToken': case 'setUserToken':
this.user.setUserTokenToLocal(data.userToken) this.user.setUserTokenToLocal(data.userToken)