هذا هو الأمر besinfo الذي يمكن تشغيله في موفر الاستضافة المجاني OnWorks باستخدام إحدى محطات العمل المجانية المتعددة عبر الإنترنت مثل Ubuntu Online أو Fedora Online أو محاكي Windows عبر الإنترنت أو محاكي MAC OS عبر الإنترنت
برنامج:
اسم
besinfo - عرض المعلومات الأساسية حول BES
موجز
com.besinfo [OPTION] ... [ملف]
الوصف
اطبع المعلومات الأساسية حول BES في INFILE. إذا لم يكن INFILE موجودًا، فسيتم الإدخال القياسي
.
OPTIONS
OPTION يمكن أن يكون أيًا مما يلي:
-f, --ممتلىء
عرض المتغيرات الأصلية وتوقيعها
-iFORMAT, --في=FORMAT
استخدم تنسيق الإدخال FORMAT: 'pbes' PBES بتنسيق داخلي 'pbes_text' PBES في
تنسيق نصي داخلي "نص" PBES بتنسيق نصي (mCRL2) "بجانب" BES داخلي
تنسيق "bes_text" BES بتنسيق نصي داخلي "cwi" BES بتنسيق CWI "pgsolver"
BES بتنسيق PGSolver
- توقيت[=FILE]
إلحاق قياسات التوقيت بالملف. تتم كتابة القياسات لخطأ معياري إذا
لم يتم توفير FILE
الخيارات القياسية:
-q, --هادئ
لا تعرض رسائل تحذير
-v, - الإسراف
عرض رسائل وسيطة قصيرة
-d, --Debug
عرض رسائل وسيطة مفصلة
--تسجيل مستوى=LEVEL
عرض رسائل وسيطة تصل إلى المستوى وتشمل
-h, --مساعدة
عرض معلومات المساعدة
--الإصدار
عرض معلومات الإصدار
استخدم besinfo عبر الإنترنت باستخدام خدمات onworks.net