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
    rEFInd
    rEFInd
    rEFInd is a fork of the rEFIt boot
    manager. Like rEFIt, rEFInd can
    auto-detect your installed EFI boot
    loaders and it presents a pretty GUI
    menu of boot option...
    Download rEFInd
  • 2
    ExpressLuke GSI
    ExpressLuke GSI
    This SourceForge download page was to
    grant users to download my source built
    GSIs, based upon phhusson's great
    work. I build both Android Pie and
    Android 1...
    Download ExpressLuke GSI
  • 3
    Music Caster
    Music Caster
    Music Caster is a tray music player
    that lets you cast your local music to a
    Google Cast device. On the first run,
    you will need to click the arrow in your
    tas...
    Download Music Caster
  • 4
    PyQt
    PyQt
    PyQt is the Python bindings for
    Digia's Qt cross-platform
    application development framework. It
    supports Python v2 and v3 and Qt v4 and
    Qt v5. PyQt is avail...
    Download PyQt
  • 5
    Sardi
    Sardi
    Sardi is a complete restyling and
    optimisation of svg code. 6 choices for
    your applications and 10 kind of folders
    to use in your file manager. The sardi
    icons...
    Download Sardi
  • 6
    LMMS Digital Audio Workstation
    LMMS Digital Audio Workstation
    LMMS is a free cross-platform software
    which allows you to produce music with
    your computer. If you like this project
    consider getting involved in the project
    h...
    Download LMMS Digital Audio Workstation
  • More »

Linux commands

  • 1
    a2query
    a2query
    a2query - retrieve runtime
    configuration from a local Apache 2 HTTP
    server ...
    Run a2query
  • 2
    a2x
    a2x
    a2x - A toolchain manager for AsciiDoc
    (converts Asciidoc text files to other
    file formats) ...
    Run a2x
  • 3
    crlutil
    crlutil
    crlutil - List, generate, modify, or
    delete CRLs within the NSS security
    database file(s) and list, create,
    modify or delete certificates entries in
    a particul...
    Run crlutil
  • 4
    crm
    crm
    Use crm online using onworks.net
    services. ...
    Run crm
  • 5
    FvwmProxy
    FvwmProxy
    FvwmProxy - the fvwm proxy module ...
    Run FvwmProxy
  • 6
    FvwmRearrange
    FvwmRearrange
    FvwmRearrange - rearrange fvwm windows ...
    Run FvwmRearrange
  • More »

Ad