DUNE-ROCQ(1)                      Dune Manual                     DUNE-ROCQ(1)

نام (NAME)
       dune-rocq - گروه دستورات مرتبط با Rocq

خلاصه دستور (SYNOPSIS)
       dune rocq top FILE -- ARGS

دستورات (COMMANDS)
       top [OPTION]… ROCQFILE [ARGS]…
           اجرای یک تاپ‌لول (محیط تعاملی) Rocq با پیکربندی محلی.

گزینه‌های عمومی (COMMON OPTIONS)
       --help[=FMT] (پیش‌فرض=auto)
           نمایش این راهنما در قالب FMT. مقدار FMT باید یکی از موارد auto،
           pager، groff یا plain باشد. با مقدار auto، هر زمان متغیر محیطی TERM
           برابر با dumb یا تعریف‌نشده باشد، قالب به صورت pager یا plain خواهد
           بود.

       --version
           نمایش اطلاعات نسخه.

وضعیت خروج (EXIT STATUS)
       دستور dune rocq با مقادیر زیر خارج می‌شود:

       0   در صورت موفقیت.

       1   در صورت بروز خطا.

       130 اگر با یک سیگنال متوقف شود.

همچنین ببینید (SEE ALSO)
       dune(1)

Dune 3.24.2                                                       DUNE-ROCQ(1)