
Unison是一种面向未来的编程语言。本Docker镜像提供了在本地Docker容器中运行Unison代码库管理器(Unison Codebase Manager, UCM)的方式,方便开发者在隔离环境中管理和运行Unison代码库。
bashdocker run -it --rm -v /my/local/codebase:/codebase -p 5757:5757 -p 8080:8080 unisonlang/unison
-it:以交互终端模式运行容器--rm:容器退出后自动删除-v /my/local/codebase:/codebase:将本地代码库目录(需替换为实际路径)挂载到容器内的/codebase目录-p 5757:5757:映射LSP服务器端口-p 8080:8080:映射代码浏览器端口localhost:5757访问http://localhost:8080/local/ui在浏览器中访问


探索更多轩辕镜像的使用方法,找到最适合您系统的配置方式
通过 Docker 登录认证访问私有仓库
无需登录使用专属域名
Kubernetes 集群配置 Containerd
K3s 轻量级 Kubernetes 镜像加速
VS Code Dev Containers 配置
Podman 容器引擎配置
HPC 科学计算容器配置
ghcr、Quay、nvcr 等镜像仓库
Harbor Proxy Repository 对接专属域名
Portainer Registries 加速拉取
Nexus3 Docker Proxy 内网缓存
需要其他帮助?请查看我们的 常见问题Docker 镜像访问常见问题解答 或 提交工单
manifest unknown
no matching manifest(架构)
invalid tar header(解压)
TLS 证书失败
DNS 超时
410 Gone 排查
402 与流量用尽
401 认证失败
429 限流
D-Bus 凭证提示
413 与超大单层
来自真实用户的反馈,见证轩辕镜像的优质服务