()
| 467 | } |
| 468 | |
| 469 | async function installPlugin() { |
| 470 | try { |
| 471 | const manifest = JSON.parse( |
| 472 | await fsOperation( |
| 473 | Url.dirname(url) + ACODE_PLUGIN_MANIFEST_FILE, |
| 474 | ).readFile("utf8"), |
| 475 | ); |
| 476 | const { default: installPlugin } = await import("lib/installPlugin"); |
| 477 | await installPlugin(url, manifest.name); |
| 478 | toast(strings["success"], 3000); |
| 479 | } catch (error) { |
| 480 | helpers.error(error); |
| 481 | console.error(error); |
| 482 | } |
| 483 | } |
| 484 | |
| 485 | async function copyRelativePath() { |
| 486 | try { |
no test coverage detected