summaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
Diffstat (limited to 'editors')
-rw-r--r--editors/vscode/README.txt16
-rw-r--r--editors/vscode/sail/.vscodeignore5
-rw-r--r--editors/vscode/sail/package.json41
3 files changed, 50 insertions, 12 deletions
diff --git a/editors/vscode/README.txt b/editors/vscode/README.txt
index bc5046af..53210c94 100644
--- a/editors/vscode/README.txt
+++ b/editors/vscode/README.txt
@@ -1 +1,17 @@
+# Visual Studio Code syntax highlighting extension for Sail
+
+## Normal use
+
+## Development
Open the `sail` folder for Visual Studio Code syntax highlighting.
+
+## Publication
+
+Install vsce with
+ npm install -g vsce
+and publish the extension using
+ vsce publish
+!!!This requires having access to the rems-project azure / marketplace.visualstudio.com account.
+
+See
+https://code.visualstudio.com/api/working-with-extensions/publishing-extension
diff --git a/editors/vscode/sail/.vscodeignore b/editors/vscode/sail/.vscodeignore
new file mode 100644
index 00000000..fd013aa7
--- /dev/null
+++ b/editors/vscode/sail/.vscodeignore
@@ -0,0 +1,5 @@
+.vscode/**
+.vscode-test/**
+.gitignore
+vsc-extension-quickstart.md
+node_modules/
diff --git a/editors/vscode/sail/package.json b/editors/vscode/sail/package.json
index 72b59feb..3808ddf3 100644
--- a/editors/vscode/sail/package.json
+++ b/editors/vscode/sail/package.json
@@ -3,6 +3,11 @@
"displayName": "sail",
"description": "Sail ISA specification language",
"version": "0.0.1",
+ "publisher": "rems-project",
+ "repository": {
+ "type": "git",
+ "url": "https://github.com/rems-project/sail"
+ },
"engines": {
"vscode": "^1.42.0"
},
@@ -10,16 +15,28 @@
"Programming Languages"
],
"contributes": {
- "languages": [{
- "id": "sail",
- "aliases": ["Sail", "sail"],
- "extensions": [".sail"],
- "configuration": "./language-configuration.json"
- }],
- "grammars": [{
- "language": "sail",
- "scopeName": "source.sail",
- "path": "./syntaxes/sail.tmLanguage.json"
- }]
+ "languages": [
+ {
+ "id": "sail",
+ "aliases": [
+ "Sail",
+ "sail"
+ ],
+ "extensions": [
+ ".sail"
+ ],
+ "configuration": "./language-configuration.json"
+ }
+ ],
+ "grammars": [
+ {
+ "language": "sail",
+ "scopeName": "source.sail",
+ "path": "./syntaxes/sail.tmLanguage.json"
+ }
+ ]
+ },
+ "dependencies": {
+ "vsce": "^1.73.0"
}
-} \ No newline at end of file
+}