Englishfrançaisespagnol

Icône de favori OnWorks

opam-unpin - En ligne dans le Cloud

Exécutez opam-unpin dans le fournisseur d'hébergement gratuit OnWorks sur Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

Il s'agit de la commande opam-unpin qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS

PROGRAMME:

Nom


opam-unpin - Un alias pour épingle supprimez.

SYNOPSIS


Opam détacher [OPTION]... [ARG] ...

DESCRIPTION


Opam détacher est un alias pour Opam épingle supprimez.

See Opam épingle --Aidez-moi pour en savoir plus.

COMMUNE OPTIONS


--Couleur=QUAND (absent=auto)
Coloriser la sortie. QUAND doit être l'un des éléments suivants : « toujours », « jamais » ou « auto ».

--Critères=CRITÈRES
Spécifier l'utilisateur préférences pour la résolution des dépendances pour cette exécution. Remplace les deux
$OPAMCRITÈRES et votre $OPAMUPGRADECRITÈRES. Pour plus de détails sur la langue prise en charge et la
solveurs externes disponibles, voir
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. Guide général d'utilisation
les préférences du solveur peuvent être trouvées sur http://www.dicosmo.org/Articles/usercriteria.pdf.
La valeur par défaut est
-count(down),-count(supprimé),-notuptodate(solution),-sum(solution,version-lag),-count(new)
pour les mises à niveau, et
-count(supprimé),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution ,version-lag)
autrement.

--cudf=NOM DE FICHIER
Option de débogage : enregistrez les requêtes CUDF envoyées au solveur dans NOM DE FICHIER- .cudf.

--déboguer
Imprimer le message de débogage sur stderr. Cela équivaut à régler $OPAMDEBUG à "vrai".

--niveau de débogage=NIVEAU
Comme `--debug', mais permet de spécifier le niveau de débogage (`--debug' le met à 1).
Équivalent au réglage $OPAMDEBUG à un entier positif.

--git-version
Imprimez la version git si elle existe et quittez.

--pas de paquets de base
N'installez pas les packages de base (utiles à des fins de test). Ceci équivaut à
mise $OPAMNOBASEFORFAITS à une chaîne non vide.

--no-auto-mise à niveau
OPAM se remplacera par un binaire plus récent trouvé à OPAMROOT/opam si présent. Cette
désactive ce comportement.

-q, --silencieux
Soyez silencieux lors de l'installation d'un nouveau compilateur.

--racine=TRAITEMENT (absente=~/.opam)
Utilisez TRAITEMENT comme chemin racine actuel. Cela équivaut à régler $OPAMRACINE à TRAITEMENT.

--en sécurité
Assurez-vous que rien ne sera automatiquement mis à jour ou réécrit. Utile pour appeler de
scripts d'achèvement, par exemple. Échouera chaque fois qu'une telle opération sera nécessaire ; aussi
évite d'attendre les verrous, saute les questions interactives et remplace l'OPAMDEBUG
variable.

--solveur=CMD
Spécifiez le nom de la dépendance externe solveur. La valeur par défaut est aspcud.
Soit 'aspcud', 'packup' ou une commande personnalisée pouvant contenir les variables
%{input}%, %{output}% et %{criteria}%

--stricte
Échoue chaque fois qu'une erreur est trouvée dans une définition de package ou un fichier de configuration. Les
par défaut est de continuer en silence si possible.

--changer=INTERRUPTEUR
Utilisez INTERRUPTEUR comme commutateur de compilateur actuel. Cela équivaut à régler $OPAMSWITCH
à INTERRUPTEUR.

--use-solveur-interne, --no-aspcud
Forcer l'utilisation d'heuristiques internes, même si un solveur externe est disponible.

-v, --verbeux
Soyez plus verbeux, affichez les sous-commandes du package et leur sortie. Répétez pour en voir plus.
Répéter n fois équivaut à régler $OPAMVERBOSE à "n".

-y, --Oui
Désactivez le mode interactif et répondez oui à toutes les questions qui seraient autrement posées
à l'utilisateur. Cela équivaut à régler $OPAMYES à "vrai".

OPTIONS


--dev-dépôt
Épingler à la source du package en amont pour la dernière version de développement

-e, --modifier
Avec opam pin add, modifiez le fichier opam comme avec « opam pin edit » après l'épinglage.

--Aidez-moi[=FMT] (par défaut=pager)
Afficher cette aide au format FMT (pager, simple ou groff).

-k GENTIL, --type=GENTIL
Définit le type d'épinglage. Doit être l'un des éléments suivants : "version", "chemin", "http", "git",
« darcs », « hg » ou « auto ». Si non défini, est déduit du format de la cible,
par défaut à chemin. Si auto or OPAMPINKINDAUTO est défini, un chemin local sera recherché
pour le contrôle de version et le type d'épinglage défini en conséquence. Cela devrait devenir
la valeur par défaut dans une prochaine version.

-n, --pas d'action
Enregistrez simplement le nouveau statut d'épinglage et ne demandez pas de (ré)installation ou de suppression
des colis concernés.

-s, --court
Affichez des listes brutes de noms, une par ligne, en ignorant tous les détails.

--version
Afficher les informations sur la version.

Utilisez opam-unpin en ligne à l'aide des services onworks.net


Serveurs et postes de travail gratuits

Télécharger des applications Windows et Linux

  • 1
    AstroOrzPlayer
    AstroOrzPlayer
    AstrOrz Player est un lecteur multimédia gratuit
    logiciel, partie basée sur WMP et VLC. La
    joueur est dans un style minimaliste, avec
    plus de dix couleurs de thème, et peut également
    b ...
    Télécharger AstrOrzPlayer
  • 2
    movistarv
    movistarv
    Kodi Movistar+ TV est un ADDON pour XBMC/
    Kodi qui permet de disposer d'un
    décodeur de los services IPTV de
    Movistar intégré en un seul de los
    médiacentres ma...
    Télécharger movistartv
  • 3
    Code :: Blocs
    Code :: Blocs
    Code :: Blocks est un logiciel gratuit et open source,
    multiplateforme C, C++ et Fortran IDE
    construit pour répondre aux besoins les plus exigeants
    de ses utilisateurs. Il est conçu pour être très
    s'étend...
    Code de téléchargement ::Blocs
  • 4
    Au milieu de
    Au milieu de
    Au milieu ou Interface Minecraft avancée
    et Data/Structure Tracking est un outil pour
    afficher un aperçu d'un Minecraft
    monde, sans vraiment le créer. Ce
    pouvez ...
    Télécharger au milieu
  • 5
    MSYS2
    MSYS2
    MSYS2 est une collection d'outils et
    bibliothèques vous offrant un
    environnement facile à utiliser pour la construction,
    installer et exécuter Windows natif
    Logiciel. Il con...
    Télécharger MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo est un codec d'image JPEG
    qui utilise des instructions SIMD (MMX, SSE2,
    NEON, AltiVec) pour accélérer la ligne de base
    Compression et décompression JPEG activées
    x86, x8...
    Télécharger libjpeg-turbo
  • Plus "

Commandes Linux

Ad