chore: codemp.dev -> code.mp

This commit is contained in:
əlemi 2024-09-07 22:13:45 +02:00
parent 8f93fcab86
commit e34f8e9ec9
Signed by: alemi
GPG key ID: A4895B84D311642C
3 changed files with 5 additions and 5 deletions

View file

@ -1,4 +1,4 @@
[![codemp](https://codemp.dev/static/banner.png)](https://codemp.dev)
[![codemp](https://code.mp/static/banner.png)](https://code.mp)
> `codemp` is a **collaborative** text editing solution to work remotely.
@ -61,7 +61,7 @@ after a workspace is joined, more commands become available:
```
"codemp-vscode": {
"server" : "http://codemp.dev:50053",
"server" : "http://code.mp:50053",
"username" : "test@codemp.dev",
"password" : "test"

View file

@ -28,7 +28,7 @@
"viewsWelcome": [
{
"view": "codemp-tree-view",
"contents": "codemp -- [code multiplexer](https://codemp.dev)\n[Connect](command:codemp.connect)"
"contents": "codemp -- [code multiplexer](https://code.mp)\n[Connect](command:codemp.connect)"
}
],
@ -130,7 +130,7 @@
"properties": {
"codemp.server": {
"type": "string",
"default": "http://codemp.dev:50053",
"default": "http://code.mp:50053",
"description": "Server address to connect to"
},
"codemp.username": {

View file

@ -12,7 +12,7 @@ let locks : Map<string, boolean> = new Map();
export async function connect() {
let config = vscode.workspace.getConfiguration('codemp');
let server = config.get<string>("server", "http://codemp.dev:50053");
let server = config.get<string>("server", "http://code.mp:50053");
let username = config.get<string>("username");
if (!username) {