نام (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)