From 8387acbc4eed345d9b0759c68024e986ae092e57 Mon Sep 17 00:00:00 2001
From: Ievgenii Meshcheriakov <eugen@debian.org>
Date: Fri, 31 Dec 2021 00:52:33 +0100
Subject: [PATCH] Quote VUnit JSON file path

This makes extension work when the global storage path is inside
a directory containing spaces in its name (macOS).

Closes: #23.
---
 src/vunit.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/vunit.ts b/src/vunit.ts
index 061b8e5..a5698a8 100644
--- a/src/vunit.ts
+++ b/src/vunit.ts
@@ -278,7 +278,7 @@ async function getVunitData(workDir: string): Promise<VunitExportData> {
     fs.mkdirSync(path.dirname(vunitJson), { recursive: true });
 
     let vunitData: VunitExportData = emptyVunitExportData;
-    let options = ['--list', `--export-json ${vunitJson}`];
+    let options = ['--list', `--export-json "${vunitJson}"`];
     const vunitExportJsonOptions = vscode.workspace
         .getConfiguration()
         .get('vunit.exportJsonOptions');