From 6301f599a2a01fd72036b0b00d2b26a3e25709ea Mon Sep 17 00:00:00 2001
From: chylex <contact@chylex.com>
Date: Fri, 3 Aug 2018 16:47:15 +0200
Subject: [PATCH] Add a VS Code task to trigger a build
---
.vscode/tasks.json | 23 +++++++++++++++++++++++
BUILD.bat | 1 -
2 files changed, 23 insertions(+), 1 deletion(-)
create mode 100644 .vscode/tasks.json
delete mode 100644 BUILD.bat
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
new file mode 100644
index 0000000..b832155
--- /dev/null
+++ b/.vscode/tasks.json
@@ -0,0 +1,23 @@
+{
+ // See https://go.microsoft.com/fwlink/?LinkId=733558
+ // for the documentation about the tasks.json format
+ "version": "2.0.0",
+ "tasks": [
+ {
+ "label": "Build Userscript",
+ "type": "shell",
+ "command": "python ./BUILD.py",
+ "group": {
+ "kind": "build",
+ "isDefault": true
+ },
+ "presentation": {
+ "reveal": "always",
+ "panel": "dedicated",
+ "echo": true,
+ "focus": true,
+ "showReuseMessage": false
+ }
+ }
+ ]
+}
diff --git a/BUILD.bat b/BUILD.bat
deleted file mode 100644
index c394221..0000000
--- a/BUILD.bat
+++ /dev/null
@@ -1 +0,0 @@
-python build.py