1 files changed, 52 insertions, 0 deletions
diff --git a/update.py b/update.py
new file mode 100755
index 000000000000..ff54586d9a35
--- /dev/null
+++ b/update.py
@@ -0,0 +1,52 @@
+#!/usr/bin/env python3
+
+# This script can update the content of ./patch.json to the latest version
+# Usage: ./update.py /path/to/extracted/produce.json
+# Where /path/to/extracted/produce.json is extracted from the latest version of official vscode release
+
+import sys
+import json
+
+key_list = [
+    "nameShort",
+    "nameLong",
+    "applicationName",
+    "serverApplicationName",
+    "urlProtocol",
+    "dataFolderName",
+    "serverDataFolderName",
+    "webUrl",
+    "webEndpointUrl",
+    "webEndpointUrlTemplate",
+    "webviewContentExternalBaseUrlTemplate",
+    "commandPaletteSuggestedCommandIds",
+    "extensionKeywords",
+    "aiConfig",
+    "settingsSearchUrl",
+    "extensionEnabledApiProposals",
+    "tasConfig",
+    "extensionKind",
+    "extensionPointExtensionKind",
+    "extensionSyncedKeys",
+    "extensionVirtualWorkspacesSupport",
+    "trustedExtensionAuthAccess",
+    "auth",
+    "configurationSync.store",
+    "editSessions.store",
+    "tunnelApplicationName",
+    "tunnelApplicationConfig"
+]
+
+product_path = sys.argv[1]
+patch_path = "patch.json"
+
+with open(product_path, "r") as product_file:
+    product_data = json.load(product_file)
+
+patch_data = {}
+
+for key in key_list:
+    patch_data[key] = product_data[key]
+
+with open(patch_path, "w") as patch_file:
+    json.dump(patch_data, patch_file, indent='\t')