@dsh-workbench/core 0.1.3 → 0.1.5

package/bin/dsh-workbench

@@ -146,10 +146,34 @@ fi
 # 副作用（刻意的）：被这一层覆盖的行，在工作台的 Settings 页里会显示
 # `overridden by a home patch or command-line overlay` —— 那正是"这行由 web 管"的提示。
 # 反向不成立：工作台里配的只落在自己的 profile patch（差异层），web 看不到。
+# ⚠️ 叠之前先剥掉「每个界面自己的偏好」那一类。
+#
+# `--patch` 是最高层，被它覆盖的行在工作台的 Settings 页里会显示
+# "overridden by a home patch or command-line overlay"、**改了也会跳回去**。
+# 供应商 / 搜索源 / MCP 那类机器级设置这样管是对的；但 `ui-theme.preference`
+# 是**每个界面自己的**偏好（有人要 web 深色、工作台浅色），叠上来等于把工作台的
+# 主题锁成 web 的 —— 实测就是"切到浅色自动跳回深色"。
+#
+# 剥的方式：按顶层列表项过滤，命中 id 的那一项整块不要（缩进到下一个 `- ` 为止）。
 WEB_PATCH="$DSH_HOME/profiles/web/cordis.patch.yml"
+WORKBENCH_PATCH_STRIP="${DSH_WORKBENCH_PATCH_STRIP:-ui-theme}"
 PATCH_ARGS=()
+WEB_PATCH_LAYER="$WEB_PATCH"
 if [ -f "$WEB_PATCH" ]; then
-  PATCH_ARGS=(--patch "$WEB_PATCH")
+  if [ -n "$WORKBENCH_PATCH_STRIP" ]; then
+    WEB_PATCH_LAYER="$(mktemp -t dsh-workbench-web-patch)"
+    trap 'rm -f "$WEB_PATCH_LAYER"' EXIT INT TERM
+    awk -v strip="$WORKBENCH_PATCH_STRIP" '
+      /^- / {
+        id = $0
+        sub(/^- id:[[:space:]]*/, "", id)
+        sub(/[[:space:]]*$/, "", id)
+        skip = (id == strip)
+      }
+      !skip { print }
+    ' "$WEB_PATCH" > "$WEB_PATCH_LAYER"
+  fi
+  PATCH_ARGS=(--patch "$WEB_PATCH_LAYER")
 else
   echo "dsh-workbench: 提醒 —— 找不到 ${WEB_PATCH}，这次不叠加 web 的设置（供应商等可能不全）。" >&2
 fi