EnglishFrenchSpanish

OnWorks favicon

opam-uninstall - Online in the Cloud

Run opam-uninstall in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command opam-uninstall that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


opam-uninstall - An alias for remove.

SYNOPSIS


opam uninstall [OPTION]... [PACKAGES]...

DESCRIPTION


opam uninstall is an alias for opam remove.

See opam remove --help for details.

ARGUMENTS


PACKAGES
List of package names, with an optional version or constraint, e.g `pkg', `pkg.1.0' or
`pkg>=0.5'.

COMMON OPTIONS


--color=WHEN (absent=auto)
Colorize the output. WHEN must be one of `always', `never' or `auto'.

--criteria=CRITERIA
Specify user preferences for dependency solving for this run. Overrides both
$OPAMCRITERIA and $OPAMUPGRADECRITERIA. For details on the supported language, and the
external solvers available, see
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. A general guide to using
solver preferences can be found at http://www.dicosmo.org/Articles/usercriteria.pdf.
The default value is
-count(down),-count(removed),-notuptodate(solution),-sum(solution,version-lag),-count(new)
for upgrades, and
-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
otherwise.

--cudf=FILENAME
Debug option: Save the CUDF requests sent to the solver to FILENAME-<n>.cudf.

--debug
Print debug message to stderr. This is equivalent to setting $OPAMDEBUG to "true".

--debug-level=LEVEL
Like `--debug', but allows specifying the debug level (`--debug' sets it to 1).
Equivalent to setting $OPAMDEBUG to a positive integer.

--git-version
Print the git version if it exists and exit.

--no-base-packages
Do not install base packages (useful for testing purposes). This is equivalent to
setting $OPAMNOBASEPACKAGES to a non-empty string.

--no-self-upgrade
OPAM will replace itself with a newer binary found at OPAMROOT/opam if present. This
disables this behaviour.

-q, --quiet
Be quiet when installing a new compiler.

--root=ROOT (absent=~/.opam)
Use ROOT as the current root path. This is equivalent to setting $OPAMROOT to ROOT.

--safe
Make sure nothing will be automatically updated or rewritten. Useful for calling from
completion scripts, for example. Will fail whenever such an operation is needed ; also
avoids waiting for locks, skips interactive questions and overrides the OPAMDEBUG
variable.

--solver=CMD
Specify the name of the external dependency solver. The default value is aspcud.
Either 'aspcud', 'packup' or a custom command that may contain the variables
%{input}%, %{output}% and %{criteria}%

--strict
Fail whenever an error is found in a package definition or a configuration file. The
default is to continue silently if possible.

--switch=SWITCH
Use SWITCH as the current compiler switch. This is equivalent to setting $OPAMSWITCH
to SWITCH.

--use-internal-solver, --no-aspcud
Force use of internal heuristics, even if an external solver is available.

-v, --verbose
Be more verbose, show package sub-commands and their output. Repeat to see more.
Repeating n times is equivalent to setting $OPAMVERBOSE to "n".

-y, --yes
Disable interactive mode and answer yes to all questions that would otherwise be asked
to the user. This is equivalent to setting $OPAMYES to "true".

OPTIONS


-a, --auto-remove
Remove all the packages which have not been explicitly installed and which are not
necessary anymore. It is possible to prevent the removal of an already-installed
package by running opam install <pkg>. This flag can also be set using the
$OPAMAUTOREMOVE configuration variable.

-b, --keep-build-dir
Keep the build directory. This is equivalent to setting $OPAMKEEPBUILDDIR to "true".

-d, --build-doc
Build the package documentation. This is equivalent to setting $OPAMBUILDDOC to
"true".

--dry-run
Simulate the command, but don't actually perform any changes.

-e TAGS, --external=TAGS
Display the external packages associated to the given tags. This is deprecated, use
`opam list --external' instead

--fake
This option registers the actions into the OPAM database, without actually performing
them. WARNING: This option is dangerous and likely to break your OPAM environment. You
probably want `--dry-run'. You've been warned.

--force
Execute the remove commands of given packages directly, even if they are not
considered installed by OPAM.

--help[=FMT] (default=pager)
Show this help in format FMT (pager, plain or groff).

-j JOBS, --jobs=JOBS
Set the maximal number of concurrent jobs to use. You can also set it using the
$OPAMJOBS environment variable.

--json=FILENAME
Save the result output of an OPAM run in a computer-readable file

-m MAKE, --make=MAKE
Use MAKE as the default 'make' command.

--no-checksums
Do not verify the checksum of downloaded archives.This is equivalent to setting
$OPAMNOCHECKSUMS to "true".

--require-checksums
Reject the installation of packages that don't provide a checksum for the upstream
archives. This is equivalent to setting $OPAMREQUIRECHECKSUMS to "true".

--show-actions
Call the solver and display the actions. Don't perform any changes.

-t, --build-test
Build and run the package unit-tests. This is equivalent to setting $OPAMBUILDTEST to
"true".

--version
Show version information.

Use opam-uninstall online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    subconverter
    subconverter
    Utility to convert between various
    subscription format. Shadowrocket users
    should use ss, ssr or v2ray as target.
    You can add &remark= to
    Telegram-liked HT...
    Download subconverter
  • 2
    SWASH
    SWASH
    SWASH is a general-purpose numerical
    tool for simulating unsteady,
    non-hydrostatic, free-surface,
    rotational flow and transport phenomena
    in coastal waters as ...
    Download SWASH
  • 3
    VBA-M (Archived - Now on Github)
    VBA-M (Archived - Now on Github)
    Project has moved to
    https://github.com/visualboyadvance-m/visualboyadvance-m
    Features:Cheat creationsave statesmulti
    system, supports gba, gbc, gb, sgb,
    sgb2Tu...
    Download VBA-M (Archived - Now on Github)
  • 4
    Stacer
    Stacer
    Linux System Optimizer and Monitoring
    Github Repository:
    https://github.com/oguzhaninan/Stacer.
    Audience: End Users/Desktop. User
    interface: Qt. Programming La...
    Download Stacer
  • 5
    OrangeFox
    OrangeFox
    Fork of TeamWinRecoveryProject(TWRP)
    with many additional functions, redesign
    and more Features:Supports Treble and
    non-Treble ROMsUp-to-date Oreo kernel,
    built...
    Download OrangeFox
  • 6
    itop - ITSM  CMDB OpenSource
    itop - ITSM CMDB OpenSource
    IT Operations Portal: a complete open
    source, ITIL, web based service
    management tool including a fully
    customizable CMDB, a helpdesk system and
    a document man...
    Download itop - ITSM CMDB OpenSource
  • More »

Linux commands

Ad