DEJAGNU-HELP(1) General Commands Manual (urm) DEJAGNU-HELP(1)

dejagnu help — نمایش صفحات راهنما برای دستورهای کمکی DejaGnu

dejagnu help [options...] ⟨command⟩

دستور dejagnu help مستندات کامل را برای دستورهای کمکی DejaGnu نمایش می‌دهد.

, --verbose
تولید خروجی بیشتر برای توصیف عملکرد خود dejagnu help.
, --path
این گزینه صرفاً به man ارسال می‌شود.
این گزینه صرفاً به man ارسال می‌شود.

دستور dejagnu help صفحات man را در دایرکتوری doc/ در کنار دایرکتوری commands/ جایی که این اسکریپت قرار دارد، بررسی می‌کند. اگر صفحه در آنجا پیدا شود، یک نام کامل فایل به man داده می‌شود. در غیر این صورت، تنها نام دستور داده شده و جستجوی توصیف‌شده در man(1) انجام می‌شود.

man(1)

Jacob Bachmeyer

در حال حاضر تنها از صفحات man پشتیبانی می‌کند.

December 19, 2018 GNU