Pigsty项目中Supabase存储服务配置问题解析
2025-06-18 17:05:06作者:苗圣禹Peter
在Pigsty 3.2.0版本部署Supabase时,用户反馈存储服务无法正常上传文件的问题。本文将深入分析该问题的技术背景、解决方案以及相关配置要点。
问题现象
在RockyLinux 9.3操作系统上部署Pigsty 3.2.0版本后,Supabase的其他模块工作正常,但存储服务(storage)无法完成文件上传操作。该问题出现在使用默认MinIO配置的情况下。
技术背景
Supabase的存储服务基于PostgreSQL和MinIO构建,通过Storage API提供文件上传和管理功能。在最新版本的Supabase中,对API访问方式有更严格的要求,特别是涉及跨服务通信时。
根本原因分析
经过排查,发现问题源于Supabase最新版本的安全策略变更:
- 域名访问要求:最新版Supabase强制要求必须通过域名访问API,直接使用IP:端口的方式不再被允许
- 跨服务通信:Storage API与MinIO服务之间的通信需要明确的域名解析
- 配置一致性:
.env配置文件中的端点地址必须与实际访问地址完全匹配
解决方案
方案一:本地hosts配置
对于开发和测试环境,最简单的解决方案是在/etc/hosts文件中添加域名解析:
192.168.0.12 supa.pigsty
192.168.0.12 sss.pigsty
方案二:DNS配置
生产环境建议配置正式的DNS解析,确保:
supa.pigsty解析到Supabase服务IPsss.pigsty解析到MinIO服务IP
配置验证要点
-
MinIO端点验证:
- 确保
s3_endpoint使用完整域名(如https://sss.pigsty:9000) - 验证MinIO控制台可通过该域名访问
- 确保
-
Supabase配置检查:
site_url、api_external_url和supabase_public_url必须使用相同域名- 确认JWT相关配置已正确生成
-
网络连通性:
- 确保Docker容器能解析配置的域名
- 检查防火墙是否放行相关端口(9000,9001,8000等)
最佳实践建议
-
统一命名规范:
- 为所有服务配置有意义的域名
- 保持开发、测试、生产环境域名一致
-
证书配置:
- 为MinIO和Supabase配置有效的TLS证书
- 考虑使用Let's Encrypt或私有CA签发
-
监控集成:
- 配置Pigsty监控系统跟踪存储服务指标
- 设置适当的告警阈值
-
备份策略:
- 定期备份MinIO存储桶数据
- 验证备份可恢复性
总结
Supabase存储服务的正常运行依赖于正确的域名解析和端点配置。通过本文介绍的方法,用户可以快速定位和解决存储上传问题,同时建立起更健壮的服务架构。Pigsty提供的完整基础设施栈与Supabase的结合,为开发者提供了强大的自托管解决方案。
对于更复杂的生产部署,建议参考Pigsty文档中的高可用配置方案,并根据实际业务需求调整资源分配和监控策略。
登录后查看全文
热门项目推荐
相关项目推荐
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
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
项目优选
收起
deepin linux kernel
C
27
11
OpenHarmony documentation | OpenHarmony开发者文档
Dockerfile
465
3.46 K
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
197
80
暂无简介
Dart
715
172
Ascend Extension for PyTorch
Python
273
310
React Native鸿蒙化仓库
JavaScript
285
331
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
843
424
Nop Platform 2.0是基于可逆计算理论实现的采用面向语言编程范式的新一代低代码开发平台,包含基于全新原理从零开始研发的GraphQL引擎、ORM引擎、工作流引擎、报表引擎、规则引擎、批处理引引擎等完整设计。nop-entropy是它的后端部分,采用java语言实现,可选择集成Spring框架或者Quarkus框架。中小企业可以免费商用
Java
10
1
🎉 (RuoYi)官方仓库 基于SpringBoot,Spring Security,JWT,Vue3 & Vite、Element Plus 的前后端分离权限管理系统
Vue
1.26 K
692
华为昇腾面向大规模分布式训练的多模态大模型套件,支撑多模态生成、多模态理解。
Python
106
120