2023-09-14 23:22:19 +02:00
|
|
|
import * as vscode from 'vscode';
|
2024-08-21 18:56:48 +02:00
|
|
|
import * as codemp from '@codemp/codemp'; // TODO why won't it work with a custom name???
|
2023-12-24 16:23:50 +01:00
|
|
|
import * as codemplogic from './codemp';
|
2023-12-24 15:04:34 +01:00
|
|
|
|
2024-08-29 00:04:58 +02:00
|
|
|
export let LOGGER = vscode.window.createOutputChannel("codemp", { log: true });
|
2024-02-14 15:41:32 +01:00
|
|
|
|
2024-02-12 19:22:50 +01:00
|
|
|
// extension is activated the very first time the command is executed
|
2023-09-14 23:22:19 +02:00
|
|
|
export function activate(context: vscode.ExtensionContext) {
|
|
|
|
// Use the console to output diagnostic information (console.log) and errors (console.error)
|
2024-08-24 20:38:07 +02:00
|
|
|
console.log('Congratulations, your extension "codemp" is now active!');
|
2023-09-14 23:22:19 +02:00
|
|
|
|
2024-02-12 19:22:50 +01:00
|
|
|
// start codemp log poller
|
2024-08-24 20:38:07 +02:00
|
|
|
log_poller_task(new codemp.JsLogger()); // don't await it! run it in background forever
|
2024-02-12 19:22:50 +01:00
|
|
|
|
|
|
|
// register commands: the commandId parameter must match the command field in package.json
|
|
|
|
for (let cmd of [
|
2024-08-24 20:38:07 +02:00
|
|
|
vscode.commands.registerCommand('codemp.connect', codemplogic.connect),
|
|
|
|
vscode.commands.registerCommand('codemp.join', codemplogic.join),
|
|
|
|
vscode.commands.registerCommand('codemp.attach', codemplogic.attach),
|
2024-08-29 00:04:58 +02:00
|
|
|
vscode.commands.registerCommand('codemp.createWorkspace', codemplogic.createWorkspace),
|
|
|
|
vscode.commands.registerCommand('codemp.listWorkspaces', codemplogic.listWorkspaces),
|
2024-08-24 20:38:07 +02:00
|
|
|
vscode.commands.registerCommand('codemp.createBuffer', codemplogic.createBuffer),
|
|
|
|
vscode.commands.registerCommand('codemp.listBuffers', codemplogic.listBuffers),
|
|
|
|
vscode.commands.registerCommand('codemp.sync', codemplogic.sync),
|
2024-02-12 19:22:50 +01:00
|
|
|
]) {
|
|
|
|
context.subscriptions.push(cmd);
|
2024-08-24 20:38:07 +02:00
|
|
|
console.log("registered all commands and pushed them");
|
2024-02-12 19:22:50 +01:00
|
|
|
}
|
2023-10-01 10:47:53 +02:00
|
|
|
}
|
2023-09-14 23:22:19 +02:00
|
|
|
|
2024-02-14 15:41:32 +01:00
|
|
|
async function log_poller_task(logger: codemp.JsLogger) {
|
2024-02-12 19:22:50 +01:00
|
|
|
console.log("starting logger task");
|
|
|
|
while (true) {
|
|
|
|
let message = await logger.message();
|
|
|
|
if (message === null) break;
|
|
|
|
console.log(message);
|
2024-02-14 15:41:32 +01:00
|
|
|
LOGGER.info(message);
|
2024-02-12 19:22:50 +01:00
|
|
|
}
|
|
|
|
console.log("stopping logger task");
|
|
|
|
}
|