diff options
Diffstat (limited to 'patch.py')
-rwxr-xr-x | patch.py | 13 |
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') |