АнглийскийФранцузскийИспанский

Значок OnWorks

opam-remote - онлайн в облаке

Запустите opam-remote в бесплатном хостинг-провайдере OnWorks через Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS

Это команда opam-remote, которую можно запустить в бесплатном хостинг-провайдере OnWorks, используя одну из наших многочисленных бесплатных онлайн-рабочих станций, таких как Ubuntu Online, Fedora Online, онлайн-эмулятор Windows или онлайн-эмулятор MAC OS.

ПРОГРАММА:

ИМЯ


opam-remote - псевдоним для хранилище.

СИНТАКСИС


опам удаленные  [ВАРИАНТ] ... [КОМАНДА] [ARG] ...

ОПИСАНИЕ


опам удаленные  это псевдоним для опам хранилище.

Увидеть опам хранилище --Помогите для получения информации.

ОБЩИЙ ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ


--цвет=КОГДА (отсутствует = авто)
Раскрасьте вывод. КОГДА должно быть одним из «всегда», «никогда» или «авто».

- критерии=КРИТЕРИИ
Укажите пользователя предпочтения для решения зависимостей для этого прогона. Переопределяет оба
$ OPAMCRITERIA и $ OPAMUPGRADECRITERIA. Подробнее о поддерживаемом языке и
доступны внешние решатели, см.
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. Общее руководство по использованию
настройки решателя можно найти на http://www.dicosmo.org/Articles/usercriteria.pdf.
Значением по умолчанию является
-count (вниз), - count (удалено), - notuptodate (решение), - sum (решение, задержка версии), - count (новое)
для обновлений и
-count (удалено), - notuptodate (запрос), - sum (запрос, отставание версии), - count (down), - notuptodate (изменено), - count (изменено), - notuptodate (решение), - sum (решение) , отставание версии)
в противном случае.

--cudf=ИМЯ ФАЙЛА
Параметр отладки: сохранить запросы CUDF, отправленные решателю, в ИМЯ ФАЙЛА- .cudf.

--отлаживать
Распечатать отладочное сообщение в stderr. Это эквивалентно установке $ OPAMDEBUG к "истине".

- уровень отладки=УРОВЕНЬ
Подобен `--debug ', но позволяет указать уровень отладки (` --debug' устанавливает его в 1).
Эквивалентно настройке $ OPAMDEBUG к положительному целому числу.

--git-версия
Распечатайте версию git, если она существует, и выйдите.

--без базовых пакетов
Не устанавливайте базовые пакеты (полезно для тестирования). Это эквивалентно
установка $ OPAMNOBASEPACKAGES в непустую строку.

- без самостоятельного обновления
OPAM заменит себя более новым двоичным файлом, найденным по адресу OPAMROOT / opam если представить. Этот
отключает это поведение.

-q, --тихий
При установке нового компилятора молчите.

--корень=ROOT (отсутствует =~ / .opam)
Используйте ROOT как текущий корневой путь. Это эквивалентно установке $ OPAMROOT в ROOT.

--безопасно
Убедитесь, что ничего не будет автоматически обновляться или перезаписываться. Полезно для звонков из
сценарии завершения, например. Не будет работать всякий раз, когда потребуется такая операция; также
избегает ожидания блокировок, пропускает интерактивные вопросы и отменяет OPAMDEBUG
Переменная.

--сольвер=CMD
Укажите имя внешней зависимости решающее устройство. Значение по умолчанию - aspcud.
Либо aspcud, packup, либо пользовательская команда, которая может содержать переменные
% {вход}%,% {выход}% и% {критерии}%

--строгий
Сбой при обнаружении ошибки в определении пакета или файле конфигурации. В
по умолчанию, если возможно, продолжать молча.

--выключатель=ВЫКЛЮЧАТЕЛЬ
Используйте ВЫКЛЮЧАТЕЛЬ как текущий переключатель компилятора. Это эквивалентно установке $ OPAMSWITCH
в ВЫКЛЮЧАТЕЛЬ.

--использовать-внутренний-решатель, - без аспида
Принудительное использование внутренней эвристики, даже если доступен внешний решатель.

-v, --подробный
Будьте более подробными, покажите подкоманды пакета и их вывод. Повторите, чтобы увидеть больше.
точность повторяния n раз эквивалентно установке $ OPAMVERBOSE к "n".

-y, --да
Отключите интерактивный режим и ответьте утвердительно на все вопросы, которые в противном случае были бы заданы
пользователю. Это эквивалентно установке $ OPAMYES к "истине".

ДОПОЛНИТЕЛЬНЫЕ ОПЦИИ


--Помогите[=FMT] (по умолчанию = пейджер)
Показать эту справку в формате FMT (пейджер, простой или groff).

-k СВОЕГО РОДА, --Добрый=СВОЕГО РОДА
Укажите тип используемого репозитория (один из http, local, git, darcs
или `hg ').

-p INT, - приоритет=INT
Установите приоритет репозитория (чем больше, тем лучше)

-s, --короткая
Выведите необработанные списки имен, по одному в строке, пропуская любые детали.

--версия
Показать информацию о версии.

Используйте opam-remote онлайн с помощью сервисов onworks.net


Бесплатные серверы и рабочие станции

Скачать приложения для Windows и Linux

  • 1
    МСИС2
    МСИС2
    MSYS2 - это набор инструментов и
    библиотеки, предоставляющие вам
    удобная среда для строительства,
    установка и запуск родной Windows
    программное обеспечение. Это кон ...
    Скачать MSYS2
  • 2
    libjpeg-турбо
    libjpeg-турбо
    libjpeg-turbo - это кодек изображений JPEG
    который использует инструкции SIMD (MMX, SSE2,
    NEON, AltiVec) для ускорения базового уровня
    Сжатие и распаковка JPEG на
    x86, x8 ...
    Скачать libjpeg-turbo
  • 3
    Xtreme Download Manager
    Xtreme Download Manager
    У проекта теперь новый дом:
    https://xtremedownloadmanager.com/ For
    Разработчики:
    https://github.com/subhra74/xdm Xtreme
    Менеджер загрузок — это мощный инструмент для...
    Скачать Xtreme Download Manager
  • 4
    ТТГО VGA32 Лайт
    ТТГО VGA32 Лайт
    Особенности: низкое разрешение 4:3 и 16:9.
    Выход VGAКлавиатура и мышь PS/2
    Пользовательский интерфейс на основе inputText (TUI)
    с диалоговым менеджеромЧастично Unicode
    поддержкаSlave dis...
    Скачать TTGO VGA32 Lite
  • 5
    Загрузчик Clover EFI
    Загрузчик Clover EFI
    Проект переехал в
    https://github.com/CloverHackyColor/CloverBootloader..
    Особенности: загрузка macOS, Windows и Linux.
    в UEFI или устаревшем режиме на Mac или ПК с
    УЭ...
    Скачать загрузчик Clover EFI
  • 6
    UnitedRPMS
    UnitedRPMS
    Присоединяйтесь к нам в Gitter!
    https://gitter.im/unitedrpms-people/Lobby
    Включите репозиторий URPMS в вашем
    система -
    https://github.com/UnitedRPMs/unitedrpms.github.io/bl...
    Скачать объединенные рпмс
  • Больше »

Команды Linux

Ad