Azure PowerShell v14.1.0-June2025 版本深度解析
Azure PowerShell 是微软官方提供的 PowerShell 模块集合,用于管理和自动化 Azure 云资源。作为 Azure 生态系统中不可或缺的工具,它通过命令行方式为管理员和开发者提供了强大的云资源管理能力。
核心模块更新概览
本次发布的 v14.1.0-June2025 版本带来了多项重要更新,覆盖了账户管理、计算、数据工厂、迁移服务、MySQL、网络、Oracle、PostgreSQL 和恢复服务等多个关键领域。
账户管理增强
Az.Accounts 模块升级至 5.0.2 版本,主要将 Azure.Core 依赖升级到了 1.45.0。这一基础性更新为整个 Azure PowerShell 模块栈提供了更稳定、更高效的底层支持。
计算服务改进
Az.Compute 10.0.1 版本针对虚拟机创建命令 New-AzVM 和虚拟机规模集创建命令 New-AzVmss 添加了破坏性变更通知。这提示管理员在升级后需要特别注意这些命令可能带来的兼容性变化。
数据工厂功能扩展
Az.DataFactory 1.19.3 版本显著增强了对 SparkV2 和 HiveV2 连接属性的支持。这一更新使得数据工程师能够更灵活地配置和管理大数据处理作业的连接参数。
网络服务重大升级
Az.Network 7.17.0 版本带来了网络服务领域的多项重要改进:
-
NAT 网关增强:新增了对 IPv6 公共 IP 地址和前缀的支持,同时引入了源虚拟网络属性,使网络地址转换配置更加灵活。
-
负载均衡器健康监测:新增 Get-AzLoadBalancerRuleHealth 命令,使管理员能够直接获取负载均衡规则的运行状况,便于快速诊断网络问题。
-
虚拟网络网关迁移工具:引入了一套完整的迁移命令集,支持将基于基本 IP 的部署迁移到基于标准 IP 的 VMSS 部署,包括准备、执行、提交和中止迁移的全流程管理。
-
网络安全边界服务:新增了完整的网络安全边界(Network Security Perimeter)管理命令集,包括边界本身、配置文件、关联、访问规则、链接、链接引用和日志配置的全面管理能力。
-
高级云连接网关:更新了虚拟网络网关命令以支持高级连接功能,为混合云连接提供了更多配置选项。
数据库服务更新
MySQL 服务
Az.MySql 1.4.0 版本增强了 Restore-AzMySqlFlexibleServer 命令的地理还原功能,使数据库恢复操作更加灵活可靠。
PostgreSQL 服务
Az.PostgreSql 1.3.0 版本同样增强了地理还原能力,新增了自动确定源服务器配对区域的功能,并改进了私有访问和 DNS 区域配置的验证流程。
迁移与恢复服务改进
迁移服务
Az.Migrate 2.8.0 版本引入了 Get-AzMigrateServerMigrationStatus 命令,用于获取 Azure Migrate 中服务器的复制状态。同时修复了 New-AzMigrateLocalServerReplication 命令中导致 HyperVSite 或 VMwareSite 找不到的问题。
恢复服务
Az.RecoveryServices 7.7.2 版本带来了多项修复和改进:
- 修复了 Azure 文件共享恢复保护的问题
- 改进了 MSSQL 软删除项目的备份项获取
- 增强了 VM 注册时的资源组比较检查
- 在禁用保护命令中添加了保留恢复点策略的保护操作
容器化支持
本次发布继续提供了全面的 Docker 镜像支持,包括基于 Alpine、Debian、Mariner、UBI 和 Ubuntu 等多种 Linux 发行版的镜像,涵盖 x64 和 arm64 架构,为容器化环境下的 Azure 管理提供了便利。
总结
Azure PowerShell v14.1.0-June2025 版本在网络服务、数据库服务和迁移恢复服务方面带来了显著的功能增强和问题修复。特别是网络安全边界服务的全面引入和虚拟网络网关迁移工具的增加,为大型企业级部署提供了更专业的管理能力。对于已经使用 Azure PowerShell 的管理员和开发者,建议评估这些新功能对现有自动化脚本和工作流程的影响,并计划适当的升级和测试周期。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C037
Kimi-K2-ThinkingKimi K2 Thinking 是最新、性能最强的开源思维模型。从 Kimi K2 开始,我们将其打造为能够逐步推理并动态调用工具的思维智能体。通过显著提升多步推理深度,并在 200–300 次连续调用中保持稳定的工具使用能力,它在 Humanity's Last Exam (HLE)、BrowseComp 等基准测试中树立了新的技术标杆。同时,K2 Thinking 是原生 INT4 量化模型,具备 256k 上下文窗口,实现了推理延迟和 GPU 内存占用的无损降低。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C00
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0115
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00