نام (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، قالب برابر با pager خواهد بود، یا چنانچه متغیر محیطی TERM مقدار dumb داشته یا تعریف‌نشده باشد، plain خواهد بود.

--version

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

وضعیت خروج (EXIT STATUS)

دستور dune rocq وضعیت‌های خروج زیر را بازمی‌گرداند:

0

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

1

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

130

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

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

dune(1)