make servermanager optional

Author: daimor

package.json

@@ -64,9 +64,6 @@
     "onDebugInitialConfigurations"
   ],
   "main": "./dist/extension",
-  "extensionDependencies": [
-    "intersystems-community.servermanager"
-  ],
   "contributes": {
     "menus": {
       "commandPalette": [
@@ -712,6 +709,11 @@
           "type": "boolean",
           "default": false,
           "description": "Output the action that VSCode should perform as requested by the server in JSON format."
+        },
+        "objectscript.ignoreInstallServerManager": {
+          "type": "boolean",
+          "default": false,
+          "markdownDescription": "Do not offer to install `#intersystems-community.servermanager#` extension"
         }
       }
     },

src/extension.ts

@@ -253,6 +253,40 @@ export const checkConnection = (clearCookies = false): void => {
     });
 };
 
+async function serverManager(): Promise<void> {
+  const extId = "intersystems-community.servermanager";
+  const ignore =
+    config("ignoreInstallServerManager") ||
+    vscode.workspace.getConfiguration("intersystems.servers").get("/ignore", false);
+  if (ignore || vscode.extensions.getExtension(extId)) {
+    return;
+  }
+  return vscode.window
+    .showInformationMessage(
+      `Extension InterSystems® Server Manager have not installed,
+      it's recommended to install it.`,
+      "Install",
+      "Skip",
+      "Ignore"
+    )
+    .then(async (action) => {
+      switch (action) {
+        case "Install":
+          await vscode.commands.executeCommand("workbench.extensions.installExtension", extId);
+        // eslint-disable-next-line no-fallthrough
+        case "View":
+          await vscode.commands.executeCommand("workbench.extensions.search", `@tag:"intersystems"`);
+          await vscode.commands.executeCommand("extension.open", extId);
+          break;
+        case "Ignore":
+          config().update("ignoreInstallServerManager", true, vscode.ConfigurationTarget.Global);
+          break;
+        case "Skip":
+        default:
+      }
+    });
+}
+
 export async function activate(context: vscode.ExtensionContext): Promise<void> {
   if (!packageJson.version.includes("SNAPSHOT")) {
     reporter = new TelemetryReporter(extensionId, extensionVersion, aiKey);
@@ -540,6 +574,9 @@ export async function activate(context: vscode.ExtensionContext): Promise<void>
     ...proposed
   );
   reporter && reporter.sendTelemetryEvent("extensionActivated");
+
+  // offer to install servermanager extension
+  await serverManager();
 }
 
 export function deactivate(): void {