GoatCounter v2.6.0 版本发布:更友好的默认配置与功能增强
GoatCounter 是一个轻量级的网站访问统计工具,它以隐私友好、简单易用为设计理念,适合个人博客和小型网站使用。不同于传统的 Google Analytics,GoatCounter 更加注重用户隐私保护,同时提供了足够的数据分析功能。
默认配置的重大调整
本次 v2.6.0 版本对多个默认配置进行了优化调整,使系统更加符合实际使用场景:
-
监听端口与 TLS 配置
默认值从-listen=:443 -tls=tls,rdr,acme调整为-listen=:8080 -tls=none。这一改变使得 GoatCounter 在反向代理(如 nginx 或 Caddy)后的部署更加方便,同时也降低了初次使用的门槛。 -
数据存储位置
SQLite 数据库默认位置改为./goatcounter-data/db.sqlite3,ACME 证书存储位置改为./goatcounter-data/acme-secrets。系统会优先检测旧位置是否存在文件,确保平滑升级。 -
页面浏览数据存储
默认不再在hits表中存储单个页面浏览记录,这一改变带来了两个显著优势:- 增强隐私保护:仅存储聚合数据而非原始访问记录
- 减少磁盘空间占用:对于流量较大的站点尤为明显
用户仍可在设置中启用详细记录存储,以满足导出需求。
新功能亮点
-
容器化支持
新增 Dockerfile 并发布官方镜像,简化了在容器环境中的部署流程。 -
环境变量配置
现在支持通过GOATCOUNTER_«FLAG»形式的环境变量来设置默认参数,提高了配置灵活性。 -
日志处理增强
新增多种时间格式支持(包括多种 Unix 时间戳格式)和$url格式说明符,同时增加了对 Bunny 和 Caddy 日志格式的解析支持。 -
暗色主题改进
优化了暗色主题的视觉效果,并默认跟随系统偏好设置自动切换。 -
多语言支持
新增中文和韩语翻译,提升了国际化体验。 -
路径前缀支持
新增-base-path参数,允许将 GoatCounter 部署在子路径下(如example.com/stats)。
技术优化与问题修复
-
兼容性提升
新增 HTTP2 Cleartext (h2c) 处理器,改善了与某些代理的兼容性。 -
错误处理改进
优化了 SQLite 数据库目录不可写时的错误提示,使其更加清晰易懂。 -
CORS 处理
修复了访问计数器错误响应中的 CORS 头设置问题,确保错误信息能够正确传递。 -
数据导入
新增对 Google Analytics 报告导入的支持,虽然无法还原详细数据,但可以保持访问总数的准确性。 -
性能优化
移除了站点的 7 天软删除期,删除操作改为后台任务执行,提高了系统响应速度。
总结
GoatCounter v2.6.0 版本通过优化默认配置、增强功能和完善细节,进一步提升了产品的易用性和实用性。特别是对隐私保护的重视、对容器化部署的支持以及对多语言环境的完善,都体现了该项目持续关注用户体验的发展方向。对于注重隐私的中小型网站运营者来说,这无疑是一个值得考虑的网站分析解决方案。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C043
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提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0121
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00