Microsoft-Activation-Scripts中Office激活问题的解决方案
问题背景
在使用Microsoft-Activation-Scripts项目中的Ohook方法处理Windows Server上的Office时,部分用户遇到了一个特定的错误。当用户确认操作并打开Office软件时,系统会显示登录窗口,关闭后则出现提示信息:"Sorry, we cannot verify the license currently installed for this product",随后Office会退出。
问题分析
经过技术分析,这个问题主要出现在以下环境中:
- 操作系统:Windows Server 2012或2016
- Office版本:Office 2016或2019专业版(x86/x64 ISO版本)
值得注意的是,相同的Office安装包在Windows 10/企业版或其他版本上运行正常,不会出现此警告。这表明问题与Windows Server特定的注册表配置有关。
根本原因
问题的根源在于Windows Server环境下,Office安装过程中自动创建了一个名为"SharedComputerLicensing"的注册表项,其值被设置为1。这个注册表项位于:
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Office\ClickToRun\Configuration
当这个值为1时,Office会强制使用共享计算机许可模式,这与Ohook处理方法产生冲突,导致验证失败。
解决方案
手动解决方法
- 打开注册表编辑器(运行"Regedit")
- 导航至以下路径:
HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Office\ClickToRun\Configuration - 找到并删除"SharedComputerLicensing"项
- 重新启动Office应用程序
脚本集成方案
Microsoft-Activation-Scripts项目组已经注意到这个问题,并在开发分支中提交了修复。新版本脚本将自动处理这个注册表项,确保在Windows Server环境下也能顺利完成操作。
验证方法
用户可以通过以下步骤验证操作是否成功:
- 运行Ohook脚本后,检查脚本输出是否显示"Office is permanently processed"
- 打开任意Office应用程序,确认不再出现验证错误
- 检查Office账户页面,确认产品已处理
技术细节
SharedComputerLicensing注册表项是微软为共享计算机环境设计的特殊模式。在这种模式下:
- Office会强制用户登录微软账户进行验证
- 状态与用户账户绑定
- 不适合使用KMS或Ohook等批量处理方法
Ohook处理方法通过模拟验证机制工作,需要完全控制Office的验证流程。当SharedComputerLicensing启用时,两种验证机制会产生冲突,导致验证失败。
总结
对于在Windows Server上使用Microsoft-Activation-Scripts处理Office的用户,遇到验证错误时,最直接的解决方案是删除SharedComputerLicensing注册表项。项目组已经将此修复纳入新版本,未来用户将无需手动干预即可完成操作。这个案例也提醒我们,服务器环境下的软件处理可能需要特殊处理,与客户端操作系统有所不同。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C083
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00