.\" Pipe this output to groff -m man -K utf8 -T utf8 | less -R .\" .mso an.tmac .TH "DUNE-ROCQ" 1 "" "Dune 3.24.2" "Dune Manual" .\" Disable hyphenation and ragged-right .nh .ad l .SH "نام (NAME)" dune-rocq \- گروه دستورات مرتبط با Rocq .SH "خلاصه دستور (SYNOPSIS)" .sp -1 .P \fBdune rocq top FILE \N'45'\N'45' ARGS\fR .SH "دستورات (COMMANDS)" .TP 4 \fBtop\fR [\fIOPTION\fR]… \fIROCQFILE\fR [\fIARGS\fR]… اجرای یک تاپ‌لول (محیط تعاملی) Rocq با پیکربندی محلی. .SH "گزینه‌های عمومی (COMMON OPTIONS)" .TP 4 \fB\N'45'\N'45'help\fR[=\fIFMT\fR] (پیش‌فرض=\fBauto\fR) نمایش این راهنما در قالب \fIFMT\fR. مقدار \fIFMT\fR باید یکی از موارد \fBauto\fR، \fBpager\fR، \fBgroff\fR یا \fBplain\fR باشد. با مقدار \fBauto\fR، هر زمان متغیر محیطی \fBTERM\fR برابر با \fBdumb\fR یا تعریف‌نشده باشد، قالب به صورت \fBpager\fR یا \fBplain\fR خواهد بود. .TP 4 \fB\N'45'\N'45'version\fR نمایش اطلاعات نسخه. .SH "وضعیت خروج (EXIT STATUS)" .P دستور \fBdune rocq\fR با مقادیر زیر خارج می‌شود: .TP 4 0 در صورت موفقیت. .TP 4 1 در صورت بروز خطا. .TP 4 130 اگر با یک سیگنال متوقف شود. .SH "همچنین ببینید (SEE ALSO)" .P dune(1)