From 9fe4f760df42207bc38e5711b466c47b99ee8432 Mon Sep 17 00:00:00 2001
From: ergebnis-bot <bot@ergebn.is>
Date: Thu, 10 Jun 2021 09:05:57 +0000
Subject: [PATCH] Enhancement: Update schema.json

---
 resource/schema.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/resource/schema.json b/resource/schema.json
index 810cabeb..4245a69d 100644
--- a/resource/schema.json
+++ b/resource/schema.json
@@ -274,9 +274,10 @@
                 "bin-compat": {
                     "enum": [
                         "auto",
-                        "full"
+                        "full",
+                        "symlink"
                     ],
-                    "description": "The compatibility of the binaries, defaults to \"auto\" (automatically guessed) and can be \"full\" (compatible with both Windows and Unix-based systems)."
+                    "description": "The compatibility of the binaries, defaults to \"auto\" (automatically guessed), can be \"full\" (compatible with both Windows and Unix-based systems) and \"symlink\" (symlink also for WSL)."
                 },
                 "discard-changes": {
                     "type": [