From 2935b069058e804d8df6c162f7225c88f8081ce3 Mon Sep 17 00:00:00 2001
From: Rob Garrison <wowmotty@gmail.com>
Date: Wed, 18 Jul 2018 01:04:34 -0500
Subject: [PATCH] Add jsonlint updater

---
 package.json              | 1 +
 tools/update-libraries.js | 6 +++++-
 vendor/jsonlint/README.md | 3 +++
 3 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 vendor/jsonlint/README.md

diff --git a/package.json b/package.json
index 434388f8..a99a6284 100644
--- a/package.json
+++ b/package.json
@@ -9,6 +9,7 @@
     "codemirror": "^5.39.0",
     "eslint": "^5.1.0",
     "fs-extra": "^7.0.0",
+    "jsonlint": "^1.6.3",
     "updates": "^3.2.3"
   },
   "scripts": {
diff --git a/tools/update-libraries.js b/tools/update-libraries.js
index 87e5a544..29804f18 100644
--- a/tools/update-libraries.js
+++ b/tools/update-libraries.js
@@ -37,6 +37,9 @@ const files = {
     'mode/javascript',
     'mode/stylus',
     'theme'
+  ],
+  'jsonlint': [
+    'lib/jsonlint.js → jsonlint.js'
   ]
 };
 
@@ -48,8 +51,9 @@ async function updateReadme(lib) {
 }
 
 async function copy(lib, folder) {
+  const [src, dest] = folder.split(/\s*→\s*/);
   try {
-    await fs.copy(`${root}/node_modules/${lib}/${folder}`, `${root}/vendor/${lib}/${folder}`);
+    await fs.copy(`${root}/node_modules/${lib}/${src}`, `${root}/vendor/${lib}/${dest || src}`);
   } catch (err) {
     exit(err);
   }
diff --git a/vendor/jsonlint/README.md b/vendor/jsonlint/README.md
new file mode 100644
index 00000000..84006ddd
--- /dev/null
+++ b/vendor/jsonlint/README.md
@@ -0,0 +1,3 @@
+## v0.0.0
+
+Jsonlint version installed via npm - source repo https://github.com/zaach/jsonlint