这是命令 opam-unpin 可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器
程序:
您的姓名
opam-unpin - 别名 针 去掉.
概要
欧泊 拔掉闩 [OPTION]……[ARG] ...
商品描述
欧泊 拔掉闩 是的别名 欧泊 针 去掉.
参见 欧泊 针 - 帮帮我 了解详情。
COMMON 配置
- 颜色=WHEN (不存在=自动)
对输出进行着色。 WHEN 必须是“always”、“never”或“auto”之一。
- 标准=准则
指定用户 喜好 用于解决此运行的依赖性。 覆盖两者
$OPAM标准 和 $OPAM升级标准. 有关支持的语言的详细信息,以及
可用的外部求解器,请参阅
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. 使用的一般指南
求解器首选项可以在 http://www.dicosmo.org/Articles/usercriteria.pdf.
默认值为
-count(向下),-count(删除),-notuptodate(解决方案),-sum(解决方案,版本滞后),-count(新)
用于升级,以及
-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution) ,版本滞后)
除此以外。
--cudf=文件名
调试选项:将发送到求解器的 CUDF 请求保存到 文件名—— .cudf。
-调试
将调试消息打印到 stderr。 这相当于设置 $OPAMDBUG 到“真实”。
--调试级别=LEVEL
类似于`--debug',但允许指定调试级别(`--debug' 将其设置为1)。
相当于设置 $OPAMDBUG 为正整数。
--git-版本
如果存在,则打印 git 版本并退出。
--无基础包
不要安装基础包(用于测试目的)。 这相当于
设置 $OPAMNO基础包 到一个非空字符串。
--无自我升级
OPAM 将用在以下位置找到的较新的二进制文件替换自身 OPAM根目录/opam 如果存在。 这个
禁用此行为。
-q, - 安静的
安装新编译器时保持安静。
- 根=根 (缺席=〜/.opam)
使用 VHDL 语言编写 根 作为当前的根路径。 这相当于设置 $OPAMROOT 至 根.
- 安全的
确保不会自动更新或重写任何内容。 用于从
完成脚本,例如。 每当需要这样的操作时都会失败; 还
避免等待锁定,跳过交互式问题并覆盖 OPAMDEBUG
变量。
--求解器=CMD
指定外部依赖的名称 解算器. 默认值为 aspcud。
“aspcud”、“packup”或可能包含变量的自定义命令
%{input}%、%{output}% 和 %{criteria}%
- 严格的
在包定义或配置文件中发现错误时失败。 这
如果可能,默认设置是静默继续。
- 转变=开关
使用 VHDL 语言编写 开关 作为当前编译器开关。 这相当于设置 $OPAM开关
至 开关.
--使用内部求解器, --no-ascud
强制使用内部启发式方法,即使外部求解器可用。
-v, --详细
更详细,显示包子命令及其输出。 重复查看更多。
重复 n 时间相当于设置 $OPAMVERBOSE 至 ”n".
-y, ——而且是
禁用交互模式并对所有本来会被问到的问题回答“是”
给用户。 这相当于设置 $OPAMYES 到“真实”。
配置
--dev-repo
固定到最新开发版本的上游包源
-e, - 编辑
使用 opam pin add,在固定后像使用“opam pin edit”一样编辑 opam 文件。
- 帮帮我[=FMT](默认=寻呼机)
以格式显示此帮助 FMT (寻呼机,plain 或 groff)。
-k 类, - 种类=类
设置固定类型。 必须是“version”、“path”、“http”、“git”之一,
“darcs”、“hg”或“auto”。 如果未设置,则从目标的格式推断,
默认为 径。 如果 汽车 or 欧派粉红汽车 设置,将搜索本地路径
用于版本控制和相应设置的固定种类。 这有望成为
下一个版本的默认值。
-n, --无动作
只记录新的固定状态,不提示(重新)安装或删除
受影响的包裹。
-s, - 短的
输出姓名的原始列表,每行一个,跳过任何细节。
- 版
显示版本信息。
使用 onworks.net 服务在线使用 opam-unpin
