Open-Shell项目在Windows 11 24H2中的搜索功能兼容性问题解析
问题背景
Open-Shell作为Windows系统的经典开始菜单替代工具,其搜索功能一直支持对系统设置的快速检索。但在最新的Windows 11 24H2(版本26100.2314)中,用户反馈搜索框无法返回"设置"相关结果,例如搜索"update"时不再显示Windows更新选项。
技术分析
经过项目组成员验证,发现这是由Windows 11 24H2系统底层变更导致的兼容性问题。核心变化在于:
-
系统设置索引文件变更
旧版本系统使用单一XML文件存储设置索引:
AllSystemSettings_{253E530E-387D-4BC2-959D-E6F86122E5F2}.xml
而24H2版本改为使用两个新文件:
AllSystemSettings_{D6E2A6C6-627C-44F2-8A5C-4959AC0C2B2D}.xml
AllSystemSettings_{FDB289F3-FCFC-4702-8015-18926E996EC1}.xml -
文件结构变化
虽然新文件与旧文件功能相似,但GUID标识符和内部结构可能有所调整,导致Open-Shell当前版本(4.4.191)无法正确识别和解析这些新格式的索引文件。
解决方案建议
开发团队已确认将采取以下改进措施:
-
多文件支持机制
修改代码逻辑使其能够检测并解析新版索引文件,按照以下优先级处理:- 优先尝试读取24H2的新版文件
- 如果不存在则回退到旧版文件
- 最终仍无法获取则提示索引不可用
-
动态适配策略
考虑到微软可能继续调整索引机制,建议实现:- 自动扫描ImmersiveControlPanel目录下的所有XML文件
- 通过文件内容特征识别有效的设置索引
- 建立版本兼容性矩阵应对未来变化
用户临时解决方案
在等待官方更新期间,用户可尝试:
-
通过运行命令直接打开特定设置页面
(如ms-settings:windowsupdate打开更新设置) -
使用Windows原生搜索功能
(Win+S快捷键调出系统搜索界面)
技术展望
该问题反映了系统深度集成工具面临的共同挑战。建议Open-Shell未来版本:
- 建立更灵活的索引文件识别机制
- 增加设置索引的自动重建功能
- 提供搜索失败后的备用检索方案
该修复预计将包含在下一个稳定版本中,建议用户关注项目更新动态。
AutoGLM-Phone-9BAutoGLM-Phone-9B是基于AutoGLM构建的移动智能助手框架,依托多模态感知理解手机屏幕并执行自动化操作。Jinja00
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
GLM-4.6V-FP8GLM-4.6V-FP8是GLM-V系列开源模型,支持128K上下文窗口,融合原生多模态函数调用能力,实现从视觉感知到执行的闭环。具备文档理解、图文生成、前端重构等功能,适用于云集群与本地部署,在同类参数规模中视觉理解性能领先。Jinja00
HunyuanOCRHunyuanOCR 是基于混元原生多模态架构打造的领先端到端 OCR 专家级视觉语言模型。它采用仅 10 亿参数的轻量化设计,在业界多项基准测试中取得了当前最佳性能。该模型不仅精通复杂多语言文档解析,还在文本检测与识别、开放域信息抽取、视频字幕提取及图片翻译等实际应用场景中表现卓越。00
GLM-ASR-Nano-2512GLM-ASR-Nano-2512 是一款稳健的开源语音识别模型,参数规模为 15 亿。该模型专为应对真实场景的复杂性而设计,在保持紧凑体量的同时,多项基准测试表现优于 OpenAI Whisper V3。Python00
GLM-TTSGLM-TTS 是一款基于大语言模型的高质量文本转语音(TTS)合成系统,支持零样本语音克隆和流式推理。该系统采用两阶段架构,结合了用于语音 token 生成的大语言模型(LLM)和用于波形合成的流匹配(Flow Matching)模型。 通过引入多奖励强化学习框架,GLM-TTS 显著提升了合成语音的表现力,相比传统 TTS 系统实现了更自然的情感控制。Python00
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00