168 lines
5.1 KiB
JSON
168 lines
5.1 KiB
JSON
{
|
|
"name": "mina-lang-vscode",
|
|
"description": "The VS Code language extension for Mina",
|
|
"version": "0.0.1",
|
|
"license": "Apache-2.0",
|
|
"displayName": "Mina",
|
|
"publisher": "mina-lang",
|
|
"author": "David Gregory",
|
|
"homepage": "https://codeberg.org/mina-lang/mina/src/branch/main/vscode-plugin",
|
|
"repository": {
|
|
"type": "git",
|
|
"url": "https://codeberg.org/mina-lang/mina.git"
|
|
},
|
|
"bugs": {
|
|
"url": "https://codeberg.org/mina-lang/mina/issues"
|
|
},
|
|
"engines": {
|
|
"vscode": "^1.101.2"
|
|
},
|
|
"categories": [
|
|
"Programming Languages"
|
|
],
|
|
"scripts": {
|
|
"vscode:prepublish": "npm run clean && npm run typecheck && npm run bundle",
|
|
"clean": "rimraf out",
|
|
"bundle": "esbuild src/extension.ts --bundle --minify --platform=node --target=node18 --external:vscode --outfile=out/extension.js",
|
|
"typecheck": "tsc --noEmit",
|
|
"compile": "tsc -b",
|
|
"lint": "eslint src",
|
|
"format": "prettier --write src",
|
|
"format-check": "npx prettier --check src",
|
|
"pretest": "npm run clean && npm run compile",
|
|
"test": "node ./out/test/runTest.js",
|
|
"test-xvfb": "xvfb-run -a npm run test"
|
|
},
|
|
"dependencies": {
|
|
"jdk-utils": "^0.6.0",
|
|
"vscode-languageclient": "^9.0.1"
|
|
},
|
|
"devDependencies": {
|
|
"@eslint/js": "^9.39.1",
|
|
"@microsoft/vscode-file-downloader-api": "^1.0.1",
|
|
"@tsconfig/node18": "^18.2.4",
|
|
"@tsconfig/recommended": "^1.0.13",
|
|
"@types/glob": "^9.0.0",
|
|
"@types/mocha": "^10.0.10",
|
|
"@types/node": "^22.19.1",
|
|
"@types/vscode": "^1.101.0",
|
|
"@typescript-eslint/eslint-plugin": "^8.46.4",
|
|
"@typescript-eslint/parser": "^8.46.4",
|
|
"@vscode/test-electron": "^2.5.2",
|
|
"@vscode/vsce": "^3.8.0",
|
|
"esbuild": "^0.25.11",
|
|
"eslint": "^9.39.1",
|
|
"glob": "^11.1.0",
|
|
"mocha": "^11.7.5",
|
|
"mocha-junit-reporter": "^2.2.1",
|
|
"mocha-multi-reporters": "^1.5.1",
|
|
"prettier": "^3.6.2",
|
|
"rimraf": "^6.1.1",
|
|
"typescript": "^5.9.3",
|
|
"typescript-eslint": "^8.46.4"
|
|
},
|
|
"main": "./out/extension",
|
|
"contributes": {
|
|
"configuration": [
|
|
{
|
|
"title": "Mina",
|
|
"properties": {
|
|
"mina.languageServer.version": {
|
|
"type": "string",
|
|
"default": "0.0.1-SNAPSHOT",
|
|
"title": "Version",
|
|
"order": 0,
|
|
"description": "The language server version to use."
|
|
},
|
|
"mina.languageServer.jvmOptions": {
|
|
"type": "array",
|
|
"default": [],
|
|
"title": "JVM Options",
|
|
"description": "Additional JVM options to be provided to the language server process.",
|
|
"items": {
|
|
"type": "string"
|
|
}
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"title": "Remote Debug",
|
|
"properties": {
|
|
"mina.languageServer.remoteDebug.enabled": {
|
|
"type": "boolean",
|
|
"default": false,
|
|
"order": 0,
|
|
"description": "Enable language server remote debug using JDWP."
|
|
},
|
|
"mina.languageServer.remoteDebug.suspend": {
|
|
"type": "boolean",
|
|
"default": false,
|
|
"description": "Whether to suspend and await debug attachment during language server remote debug."
|
|
},
|
|
"mina.languageServer.remoteDebug.address": {
|
|
"type": "string",
|
|
"default": "127.0.0.1",
|
|
"format": "ipv4",
|
|
"description": "The address to use for language server remote debug, e.g. 127.0.0.1"
|
|
},
|
|
"mina.languageServer.remoteDebug.port": {
|
|
"type": "number",
|
|
"default": 5005,
|
|
"minimum": 1024,
|
|
"maximum": 65535,
|
|
"description": "The port to use for language server remote debug, e.g. 5005"
|
|
}
|
|
}
|
|
},
|
|
{
|
|
"title": "Profiling",
|
|
"properties": {
|
|
"mina.languageServer.profiling.enabled": {
|
|
"type": "boolean",
|
|
"default": false,
|
|
"order": 0,
|
|
"description": "Enable language server continuous profiling using Pyroscope."
|
|
},
|
|
"mina.languageServer.profiling.applicationName": {
|
|
"type": "string",
|
|
"default": "mina-lang-server",
|
|
"description": "The application name to use for continuous profiling."
|
|
},
|
|
"mina.languageServer.profiling.serverAddress": {
|
|
"type": "string",
|
|
"default": "http://localhost:4040",
|
|
"format": "uri",
|
|
"description": "The server address to use for continuous profiling."
|
|
},
|
|
"mina.languageServer.profiling.agentVersion": {
|
|
"type": "string",
|
|
"default": "2.1.2",
|
|
"description": "The version of the Pyroscope agent to use."
|
|
}
|
|
}
|
|
}
|
|
],
|
|
"languages": [
|
|
{
|
|
"id": "mina",
|
|
"aliases": [
|
|
"Mina"
|
|
],
|
|
"extensions": [
|
|
".mina"
|
|
],
|
|
"configuration": "./language-configuration.json"
|
|
}
|
|
],
|
|
"grammars": [
|
|
{
|
|
"language": "mina",
|
|
"scopeName": "source.mina",
|
|
"path": "./syntaxes/mina.tmLanguage.json"
|
|
}
|
|
]
|
|
},
|
|
"extensionDependencies": [
|
|
"mindaro-dev.file-downloader"
|
|
]
|
|
}
|