Use python to patch

1 files changed, 13 insertions, 0 deletions

diff --git a/patch.py b/patch.py
new file mode 100755
index 000000000000..80c612ea86f2
--- /dev/null
+++ b/patch.py
@@ -0,0 +1,13 @@
+#!/usr/bin/env python3
+
+import sys
+import json
+import os
+
+file_path = sys.argv[1]
+
+with open(file_path, "r") as rfile:
+    data = json.load(rfile)
+data["contributes"]["configuration"]["properties"]["go.goplsPath"]["default"] = "/usr/bin/gopls"
+with open(file_path, "w") as wfile:
+    json.dump(data, wfile, indent='\t')