opam-un ghim - Trực tuyến trên Đám mây

CHƯƠNG TRÌNH:

TÊN

opam-bỏ ghim - Một bí danh cho ghim tẩy.

SYNOPSIS

opam tháo kim găm [TÙY CHỌN] ... [ARG] ...

MÔ TẢ

opam tháo kim găm là một bí danh cho opam ghim tẩy.

Xem opam ghim --Cứu giúp để biết thêm chi tiết.

CHUNG LỰA CHỌN

--màu sắc=KHI (vắng mặt = tự động)
Tô màu đầu ra. KHI phải là một trong các giá trị `` luôn luôn '', `` không bao giờ '' hoặc `` tự động ''.

--tiêu chuẩn=TIÊU CHÍ
Chỉ định người dùng ưu đãi để giải quyết sự phụ thuộc cho lần chạy này. Ghi đè cả hai
$ OPAMCRITERIA và $ OPAMUPGRADECRITERIA. Để biết chi tiết về ngôn ngữ được hỗ trợ và
bộ giải bên ngoài có sẵn, xem
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. Hướng dẫn chung để sử dụng
tùy chọn người giải quyết có thể được tìm thấy tại http://www.dicosmo.org/Articles/usercriteria.pdf.
Giá trị mặc định là
-count (giảm), - count (loại bỏ), - notuptodate (giải pháp), - sum (giải pháp, độ trễ phiên bản), - count (mới)
để nâng cấp và
-count (đã xoá), - notuptodate (yêu cầu), - sum (yêu cầu, phiên bản-lag), - count (giảm), - notuptodate (đã thay đổi), - count (đã thay đổi), - notuptodate (giải pháp), - sum (giải pháp , độ trễ phiên bản)
nếu không thì.

--cudf=TÊN TỆP
Tùy chọn gỡ lỗi: Lưu các yêu cầu CUDF được gửi đến bộ giải để TÊN TỆP- .cudf.

--gỡ lỗi
In thông báo gỡ lỗi sang stderr. Điều này tương đương với thiết lập $ OPAMDEBUG thành "true".

- cấp độ con bọ=LEVEL
Giống như `--debug ', nhưng cho phép chỉ định mức gỡ lỗi (` --debug' đặt nó thành 1).
Tương đương với thiết lập $ OPAMDEBUG thành một số nguyên dương.

--git-phiên bản
In phiên bản git nếu nó tồn tại và thoát.

- gói không có cơ sở
Không cài đặt các gói cơ sở (hữu ích cho mục đích thử nghiệm). Điều này tương đương với
thiết lập $ OPAMNOBASEPACKAGES thành một chuỗi không rỗng.

- không tự nâng cấp
OPAM sẽ thay thế chính nó bằng một tệp nhị phân mới hơn được tìm thấy tại OPAMROOT / opam nếu có. Cái này
vô hiệu hóa hành vi này.

-q, --Yên lặng
Hãy yên lặng khi cài đặt trình biên dịch mới.

--nguồn gốc=ROOT (vắng mặt =~ / .opam)
Sử dụng ROOT như là đường dẫn gốc hiện tại. Điều này tương đương với thiết lập $ OPAMROOT đến ROOT.

--an toàn
Đảm bảo rằng không có gì sẽ được tự động cập nhật hoặc viết lại. Hữu ích cho cuộc gọi từ
tập lệnh hoàn thành chẳng hạn. Sẽ thất bại bất cứ khi nào một hoạt động như vậy là cần thiết; cũng
tránh chờ khóa, bỏ qua các câu hỏi tương tác và ghi đè OPAMDEBUG
biến.

--người giải quyết=CMD
Chỉ định tên của phần phụ thuộc bên ngoài người giải quyết. Giá trị mặc định là aspcud.
'Aspcud', 'packup' hoặc lệnh tùy chỉnh có thể chứa các biến
% {input}%,% {output}% và% {tiêu chí}%

--khắt khe
Không thành công bất cứ khi nào lỗi được tìm thấy trong định nghĩa gói hoặc tệp cấu hình. Các
mặc định là tiếp tục im lặng nếu có thể.

--chuyển=TẮC
Sử dụng TẮC như công tắc trình biên dịch hiện tại. Điều này tương đương với thiết lập $ OPAMSWITCH
đến TẮC.

--use-internal-bộ giải, --no-aspcud
Buộc sử dụng phương pháp phỏng đoán nội bộ, ngay cả khi có sẵn bộ giải bên ngoài.

-v, --dài dòng
Chi tiết hơn, hiển thị các lệnh con của gói và đầu ra của chúng. Lặp lại để xem thêm.
Lặp đi lặp lại n thời gian tương đương với thiết lập $ OPAMVERBOSE đến "n".

-y, --đúng
Tắt chế độ tương tác và trả lời có cho tất cả các câu hỏi nếu không sẽ được hỏi
cho người dùng. Điều này tương đương với thiết lập $ OPAMYES thành "true".

LỰA CHỌN

--dev-repo
Ghim vào nguồn gói ngược dòng cho phiên bản phát triển mới nhất

-e, --chỉnh sửa
Với thêm opam pin, hãy chỉnh sửa tệp opam như với `` opam pin edit '' sau khi ghim.

--Cứu giúp[=FMT] (mặc định = máy nhắn tin)
Hiển thị trợ giúp này ở định dạng FMT (máy nhắn tin, đơn giản hoặc tạp chí).

-k LOẠI, --Tốt bụng=LOẠI
Đặt loại ghim. Phải là một trong các `` phiên bản '', `đường dẫn ',` `http',` git ',
`darcs ',` hg' hoặc `auto '. Nếu không được đặt, được suy ra từ định dạng của mục tiêu,
mặc định là con đường. Nếu tự động or OPAMPINDAUTO được thiết lập, một đường dẫn cục bộ sẽ được tìm kiếm
để kiểm soát phiên bản và loại ghim được đặt cho phù hợp. Điều này được mong đợi sẽ trở thành
mặc định trong phiên bản tiếp theo.

-n, --không có hành động
Chỉ cần ghi lại trạng thái ghim mới và không nhắc (lại) cài đặt hoặc gỡ bỏ
của các gói bị ảnh hưởng.

-s, --ngắn
Xuất ra danh sách tên thô, một tên trên mỗi dòng, bỏ qua bất kỳ chi tiết nào.

--phiên bản
Hiển thị thông tin phiên bản.

Sử dụng tùy chọn bỏ ghim trực tuyến bằng các dịch vụ onworks.net