BiliTools v1.3.8版本发布:NFO元数据刮削与多项功能优化
BiliTools是一款专注于Bilibili视频下载与管理的开源工具,它能够帮助用户高效地获取Bilibili平台上的视频内容,并提供丰富的格式选择和元数据处理功能。本次发布的v1.3.8版本带来了多项重要更新和修复,特别是新增了NFO元数据刮削功能,进一步提升了视频管理的专业性。
NFO元数据刮削功能(预览版)
本次更新的亮点之一是新增了NFO元数据刮削功能。NFO文件是一种常见的元数据存储格式,广泛应用于多媒体文件管理系统中。通过这一功能,BiliTools现在能够为下载的视频生成包含丰富信息的NFO文件,这些信息可能包括:
- 视频标题和描述
- 上传者信息
- 发布时间和分类
- 视频标签和关键词
- 其他相关元数据
这一功能目前处于预览阶段,意味着它已经可用但可能还需要进一步的优化和完善。对于使用专业媒体管理软件(如Kodi、Plex等)的用户来说,这一功能将大大提升视频库的管理体验。
DASH格式增强
v1.3.8版本对DASH格式的支持进行了增强,新增了格式描述信息。DASH(Dynamic Adaptive Streaming over HTTP)是一种自适应流媒体传输协议,能够根据网络条件动态调整视频质量。通过增加描述信息,用户现在可以更清楚地了解DASH格式的特点和优势,做出更明智的下载选择。
多项问题修复
本次更新还解决了多个影响用户体验的问题:
-
界面溢出修复:解决了选择界面可能出现的溢出问题,提升了界面布局的稳定性。
-
音频格式解析改进:
- 修复了FLAC音频格式的解析问题,确保高质量音频的完整下载
- 解决了Dolby音频格式的解析异常,提升了对杜比音效的支持
-
链接解析优化:
- 修复了收藏夹链接解析问题,确保用户能够顺利下载收藏夹中的内容
- 改进了MP4格式的解析逻辑,提高了对这种常见视频格式的兼容性
存储版本更新
v1.3.8版本将STORAGE_VERSION更新至6,这表明工具内部的数据存储结构可能发生了变化。对于开发者而言,这意味着需要注意数据迁移和兼容性问题;对于普通用户,这一变化通常是透明的,但可能会带来性能或稳定性的提升。
跨平台支持
BiliTools继续保持良好的跨平台特性,提供了多种平台的安装包:
- Windows平台:提供标准的exe安装包和NSIS打包版本
- macOS平台:提供针对不同架构(x64、aarch64)的dmg安装包,以及通用版本
- 应用打包:提供tar.gz格式的应用打包,方便不同环境下的部署
总结
BiliTools v1.3.8版本通过引入NFO元数据刮削功能,进一步强化了其作为专业视频下载和管理工具的地位。同时,多项问题修复和功能优化提升了工具的稳定性和用户体验。对于需要高效管理Bilibili视频内容的用户,特别是那些使用专业媒体库管理系统的用户,这一版本值得升级。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C046
MiniMax-M2.1从多语言软件开发自动化到复杂多步骤办公流程执行,MiniMax-M2.1 助力开发者构建下一代自主应用——全程保持完全透明、可控且易于获取。Python00
kylin-wayland-compositorkylin-wayland-compositor或kylin-wlcom(以下简称kywc)是一个基于wlroots编写的wayland合成器。 目前积极开发中,并作为默认显示服务器随openKylin系统发布。 该项目使用开源协议GPL-1.0-or-later,项目中来源于其他开源项目的文件或代码片段遵守原开源协议要求。C01
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0124
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00