From fb7c1b68225a34ed89babb598124858e1d87a4a9 Mon Sep 17 00:00:00 2001
From: Timon Stampfli <timon@timon.ch>
Date: Tue, 8 Sep 2020 12:08:45 +0200
Subject: [PATCH] replace ALL spaces with escaped spaces

---
 src/runner.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/runner.ts b/src/runner.ts
index 3c17fe1..8e84eda 100644
--- a/src/runner.ts
+++ b/src/runner.ts
@@ -56,7 +56,7 @@ export class Runner {
 			};
 
 			let headerAsFlag = (path: string) =>
-				path === "" ? [] : ["-I", path.replace(" ", "\\ ")];
+				path === "" ? [] : ["-I", path.replace(/ /g, "\\ ")];
 
 			// Todo: allow customizable flags
 			let execute = new vscode.ProcessExecution(
-- 
GitLab