אנגליתצרפתיתספרדי

סמל OnWorks

opam-unpin - מקוון בענן

הפעל opam-unpin בספק האירוח החינמי של OnWorks על אובונטו מקוון, פדורה מקוון, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS

זוהי הפקודה opam-unpin שניתן להפעיל בספק האירוח החינמי של OnWorks באמצעות אחת מתחנות העבודה המקוונות המרובות שלנו, כגון Ubuntu Online, Fedora Online, אמולטור מקוון של Windows או אמולטור מקוון של MAC OS

תָכְנִית:

שֵׁם


opam-unpin - כינוי עבור אורן להסיר.

תַקצִיר


אופאם לְהוֹצִיא סִיכָּה [אוֹפְּצִיָה]... [ARG] ...

תיאור


אופאם לְהוֹצִיא סִיכָּה הוא כינוי עבור אופאם אורן להסיר.

לִרְאוֹת אופאם אורן - עזרה לקבלת פרטים.

משותף אפשרויות


--צֶבַע=כאשר (נעדר=אוטומטי)
צבע את הפלט. כאשר חייב להיות אחד מ'תמיד', 'אף פעם' או 'אוטומטי'.

--קריטריונים=קריטריונים
ציין משתמש העדפות לפתרון תלות עבור ריצה זו. עוקף את שניהם
$OPAMCRITERIA ו $OPAMUPGRADECRITERIA. לפרטים על השפה הנתמכת, ועל
פותרים חיצוניים זמינים, ראה
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. מדריך כללי לשימוש
ניתן למצוא את העדפות הפותר בכתובת http://www.dicosmo.org/Articles/usercriteria.pdf.
ערך ברירת המחדל הוא
-count(down),-count(removed),-notuptodate(solution),-sum(solution,version-lag),-count(new)
לשדרוגים, ו
-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution) ,גרסה-פיגור)
אחרת.

-- cudf=שם קובץ
אפשרות ניפוי באגים: שמור את בקשות ה-CUDF שנשלחו לפותר ב- שם קובץ- .cudf.

--לנפות
הדפס הודעת ניפוי באגים ל-stderr. זה שווה ערך להגדרה $OPAMDEBUG ל"נכון".

--רמת ניפוי באגים=רמה
כמו `--debug', אבל מאפשר לציין את רמת ניפוי הבאגים (`--debug' מגדיר אותו ל-1).
שווה ערך להגדרה $OPAMDEBUG למספר שלם חיובי.

--git-גרסה
הדפס את גרסת ה-git אם היא קיימת וצא.

--ללא חבילות בסיס
אל תתקין חבילות בסיס (שימושי למטרות בדיקה). זה שווה ערך ל
הצבה $OPAMNOBASEPACKAGES למחרוזת לא ריקה.

--ללא שדרוג עצמי
OPAM יחליף את עצמו בבינארי חדש יותר שנמצא ב OPAMROOT/opam אם נמצא. זֶה
משבית התנהגות זו.

-q, --שֶׁקֶט
היה שקט בעת התקנת מהדר חדש.

--שורש=שורש (נעדר=~/.opam)
השתמש שורש בתור נתיב השורש הנוכחי. זה שווה ערך להגדרה $OPAMROOT ל שורש.

--בטוח
ודא ששום דבר לא יעודכן או ייכתב מחדש באופן אוטומטי. שימושי להתקשרות מ
תסריטי השלמה, למשל. ייכשל בכל פעם שיש צורך בפעולה כזו; גַם
נמנע מהמתנה למנעולים, מדלג על שאלות אינטראקטיביות ומדלג על OPAMDEBUG
משתנה

--פּוֹתֵר=CMD
ציין את שם התלות החיצונית פּוֹתֵר. ערך ברירת המחדל הוא aspcud.
או 'aspcud', 'packup' או פקודה מותאמת אישית שעשויה להכיל את המשתנים
%{input}%, %{output}% ו-%{criteria}%

--קַפְּדָנִי
נכשל בכל פעם שנמצאת שגיאה בהגדרת חבילה או בקובץ תצורה. ה
ברירת המחדל היא להמשיך בשקט אם אפשר.

--החלף=SWITCH
השתמש SWITCH כמתג המהדר הנוכחי. זה שווה ערך להגדרה $OPAMSWITCH
ל SWITCH.

--השתמש ב-internal-solver, --ללא אספקוד
כפוי שימוש בהיוריסטיקה פנימית, גם אם פותר חיצוני זמין.

-v, --מִלוּלִי
היו יותר מילוליים, הצג פקודות משנה של החבילה והפלט שלהן. חזור כדי לראות עוד.
חוזר n זמנים שווה להגדרה $OPAMVERBOSE ל "n".

-y, --כן
השבת את המצב האינטראקטיבי וענה בחיוב על כל השאלות שאחרת היו נשאלות
למשתמש. זה שווה ערך להגדרה $OPAMYES ל"נכון".

אפשרויות


--dev-repo
הצמד למקור החבילה במעלה הזרם עבור גרסת הפיתוח העדכנית ביותר

-e, --לַעֲרוֹך
עם הוספה של פין opam, ערוך את קובץ ה-opam כמו ב-'opam pin edit' לאחר ההצמדה.

- עזרה[=FMT] (default=pager)
הצג את העזרה הזו בפורמט FMT (ביפר, רגיל או גרוף).

-k סוג, --סוג=סוג
מגדיר את סוג ההצמדה. חייב להיות אחד מ- `version', `path', `http', `git',
`darcs', `hg' או `auto'. אם לא מוגדר, מסקנת הפורמט של היעד,
ברירת מחדל ל נתיב. אם המכונית or OPAMPINKINDAUTO מוגדר, יתבצע חיפוש בנתיב מקומי
עבור בקרת גרסה וסוג ההצמדה מוגדר בהתאם. זה צפוי להיות
ברירת המחדל בגרסה הבאה.

-n, --שום פעולה
פשוט רשום את סטטוס ההצמדה החדש, ואל תבקש (מחדש) התקנה או הסרה
של חבילות מושפעות.

-s, --קצר
פלט רשימות גולמיות של שמות, אחד בכל שורה, דילוג על כל פרט.

--גִרְסָה
הצג מידע על גרסה.

השתמש ב-opam-unpin באינטרנט באמצעות שירותי onworks.net


שרתים ותחנות עבודה בחינם

הורד אפליקציות Windows & Linux

  • 1
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player הוא נגן מדיה חינמי
    תוכנה, חלקה מבוססת על WMP ו-VLC. ה
    שחקן הוא בסגנון מינימליסטי, עם
    יותר מעשרה צבעי נושא, ויכולים גם
    ב ...
    הורד את AstrOrzPlayer
  • 2
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON עבור XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters מא...
    הורד את movistartv
  • 3
    קוד :: חסימות
    קוד :: חסימות
    Code::Blocks הוא קוד פתוח בחינם,
    חוצה פלטפורמות C, C++ ו-Fortran IDE
    נבנה כדי לענות על הצרכים התובעניים ביותר
    של המשתמשים שלה. זה נועד להיות מאוד
    מרחיב ...
    קוד הורדה::בלוקים
  • 4
    בין
    בין
    בין ממשק Minecraft או מתקדם
    ומעקב אחר נתונים/מבנה הוא כלי ל
    להציג סקירה כללית של מיינקראפט
    העולם, מבלי ליצור אותו בפועל. זה
    פחית ...
    הורד בין
  • 5
    MSYS2
    MSYS2
    MSYS2 הוא אוסף של כלים ו
    ספריות המספקות לך א
    סביבה קלה לשימוש לבנייה,
    התקנה והרצה של Windows מקורי
    תוֹכנָה. זה נוגד...
    הורד את MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo הוא Codec תמונה JPEG
    שמשתמש בהוראות SIMD (MMX, SSE2,
    NEON, AltiVec) כדי להאיץ את קו הבסיס
    דחיסה ופירוק JPEG פועלים
    x86, x8...
    הורד את libjpeg-turbo
  • עוד »

פקודות לינוקס

Ad