本站支持搜索的镜像仓库:Docker Hub、gcr.io、ghcr.io、quay.io、k8s.gcr.io、registry.gcr.io、elastic.co、mcr.microsoft.com

本镜像专为Storm模型检查器设计,提供Linux基础环境、必需系统包及可选依赖。基于movesrwth/carl-storm镜像构建,旨在为Storm模型检查器的运行与开发提供统一、可靠的底层支持。
通过Docker Hub拉取镜像(具体镜像名称及标签需以实际仓库为准):
docker pull [镜像仓库地址]/[镜像名称]:[标签]
启动交互式容器以访问基础环境:
docker run -it --rm [镜像仓库地址]/[镜像名称]:[标签] /bin/bash
该镜像的配置参数可参考其父镜像movesrwth/carl-storm的官方文档,主要包括:
基础docker-compose.yml配置示例:
version: '3' services: storm-env: image: [镜像仓库地址]/[镜像名称]:[标签] container_name: storm-base-env volumes: - ./storm-data:/data # 挂载数据卷(按需配置) # 可根据需求添加 environment、ports 等配置
latest标签,以确保环境一致性免费版仅支持 Docker Hub 加速,不承诺可用性和速度;专业版支持更多镜像源,保证可用性和稳定速度,提供优先客服响应。
免费版仅支持 docker.io;专业版支持 docker.io、gcr.io、ghcr.io、registry.k8s.io、nvcr.io、quay.io、mcr.microsoft.com、docker.elastic.co 等。
当返回 402 Payment Required 错误时,表示流量已耗尽,需要充值流量包以恢复服务。
通常由 Docker 版本过低导致,需要升级到 20.x 或更高版本以支持 V2 协议。
先检查 Docker 版本,版本过低则升级;版本正常则验证镜像信息是否正确。
使用 docker tag 命令为镜像打上新标签,去掉域名前缀,使镜像名称更简洁。
探索更多轩辕镜像的使用方法,找到最适合您系统的配置方式
通过 Docker 登录方式配置轩辕镜像加速服务,包含7个详细步骤
在 Linux 系统上配置轩辕镜像源,支持主流发行版
在 Docker Desktop 中配置轩辕镜像加速,适用于桌面系统
在 Docker Compose 中使用轩辕镜像加速,支持容器编排
在 k8s 中配置 containerd 使用轩辕镜像加速
在宝塔面板中配置轩辕镜像加速,提升服务器管理效率
在 Synology 群晖NAS系统中配置轩辕镜像加速
在飞牛fnOS系统中配置轩辕镜像加速
在极空间NAS中配置轩辕镜像加速
在爱快ikuai系统中配置轩辕镜像加速
在绿联NAS系统中配置轩辕镜像加速
在威联通NAS系统中配置轩辕镜像加速
在 Podman 中配置轩辕镜像加速,支持多系统
配置轩辕镜像加速9大主流镜像仓库,包含详细配置步骤
无需登录即可使用轩辕镜像加速服务,更加便捷高效
需要其他帮助?请查看我们的 常见问题 或 官方QQ群: 13763429