Merge branch 'master' into insider

.github/workflows/insider-spearhead.yml

@@ -4,14 +4,6 @@ on:
   workflow_dispatch:
   schedule:
     - cron: '0 0 * * *'
-  push:
-    branches: [ insider ]
-    paths-ignore:
-    - '**/*.md'
-  pull_request:
-    branches: [ insider ]
-    paths-ignore:
-    - '**/*.md'
 
 jobs:
   build:

prepare_vscode.sh

@@ -74,11 +74,15 @@ fi
 cp product.json product.json.bak
 
 setpath() {
+  { set +x; } 2>/dev/null
   echo "$( cat "${1}.json" | jq --arg 'path' "${2}" --arg 'value' "${3}" 'setpath([$path]; $value)' )" > "${1}.json"
+  set -x
 }
 
 setpath_json() {
+  { set +x; } 2>/dev/null
   echo "$( cat "${1}.json" | jq --arg 'path' "${2}" --argjson 'value' "${3}" 'setpath([$path]; $value)' )" > "${1}.json"
+  set -x
 }
 
 # set fields in product.json