GoGPT Best VPN GoSearch

OnWorks 网站图标

opam-remote - 云端在线

通过 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器在 OnWorks 免费托管服务提供商中运行 opam-remote

这是命令 opam-remote,可以使用我们的多个免费在线工作站之一在 OnWorks 免费托管服务提供商中运行,例如 Ubuntu Online、Fedora Online、Windows 在线模拟器或 MAC OS 在线模拟器

程序:

您的姓名


opam-remote - 别名 知识库.

概要


欧泊 远程 [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 到“真实”。

配置


- 帮帮我[=FMT](默认=寻呼机)
以格式显示此帮助 FMT (寻呼机,plain 或 groff)。

-k , - 种类=
指定要使用的存储库类型(“http”、“local”、“git”、“darcs”之一)
或`hg')。

-p INT, - 优先事项=INT
设置存储库优先级(越大越好)

-s, - 短的
输出姓名的原始列表,每行一个,跳过任何细节。

- 版
显示版本信息。

使用 onworks.net 服务在线使用 opam-remote


免费服务器和工作站

下载 Windows 和 Linux 应用程序

Linux 命令

Ad




×
广告
❤️在这里购物、预订或购买——免费,有助于保持服务免费。